Haftungsausschluß.dune KontaktText {Text[110] Latech[128] Fortran[237]}diese Dinge liegen außhalb unserer Verantwortung
(library
(name newring_plugin)
(public_name coq.plugins.setoid_ring)
(synopsis "Coq's setoid ring plugin")
(libraries coq.plugins.ltac))
[ Seitenstruktur0.72Drucken
]
