Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
products/Sources/formale Sprachen/PVS/pvs-patches/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 28.9.2014 mit Größe 10 kB image not shown  

Quelle  ColumboGroup_prjgroup.tvsconfig   Sprache: unbekannt

 
<?xml version="1.0"?>
<TgConfig Version="3" SubLevelDisabled="False" />

[ Dauer der Verarbeitung: 0.4 Sekunden  (vorverarbeitet)  ]