products
/
sources
/
formale Sprachen
/
Isabelle
/
Tools
/
jEdit
/
dist
/
doc
/
api
/
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
]