[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
Sprache: Coq
The copyright notice contained in the *.siv, *.fdl, and *.rls files in
the example subdirectories refers to the tools that have been used to
generate the files, but not to the files themselves.
[ Verzeichnis aufwärts0.1unsichere Verbindung
Übersetzung europäischer Sprachen durch Browser
]