products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/doc/api/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: velocity.xml   Sprache: Unknown

Theorem simple : forall A, A -> A.
Proof.
auto.
Qed.

[ Verzeichnis aufwärts0.2unsichere Verbindung  Übersetzung europäischer Sprachen durch Browser  ]