Haftungsausschluß.dune KontaktText {Text[112] Latech[130] Fortran[239]}diese Dinge liegen außhalb unserer Verantwortung
(library
(name recdef_plugin)
(public_name coq.plugins.funind)
(synopsis "Coq's functional induction plugin")
(libraries coq.plugins.extraction))
[ Seitenstruktur0.69Drucken
]
