rahmenlose Ansicht.dune DruckansichtText {Text[89] Latech[147] Fortran[256]}Entwicklung
(library
(name nsatz_plugin)
(public_name coq.plugins.nsatz)
(synopsis "Coq's nsatz solver plugin")
(libraries num coq.plugins.ltac))
[ Verzeichnis aufwärts0.76unsichere Verbindung
]