Columbo aufrufen.out zum Wurzelverzeichnis wechselnText {Text[63] Latech[87] Isabelle[219]}Datei anzeigen
f = 2
: nat
u = I
: True
The command has indeed failed with message:
Files processed by Load cannot leave open proofs.
[ Original von:0.76Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen.
Man kann per Verzeichnistruktur darin navigieren.
Der Code wird farblich markiert angezeigt.
]
