Haftungsausschluß.dune KontaktLatech {Latech[114] Fortran[215] Delphi[224]}diese Dinge liegen außhalb unserer Verantwortung
(library
(name derive_plugin)
(public_name coq.plugins.derive)
(synopsis "Coq's derive plugin")
(libraries coq.plugins.ltac))
[ Seitenstruktur0.82Drucken
]
