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