Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
Sprache: Unknown
|
(library
(name clib)
(synopsis "Coq's Utility Library [general purpose]")
(public_name coq.clib)
(wrapped false)
(modules_without_implementation cSig)
(libraries str unix threads))
[ Verzeichnis aufwärts0.0unsichere Verbindung
Übersetzung europäischer Sprachen durch Browser
]
|
|
