forked from Isabelle_DOF/Isabelle_DOF
Achim D. Brucker 99882abafa | ||
---|---|---|
document-generator | ||
examples | ||
ontologies | ||
.gitignore | ||
Assert.thy | ||
AssertLong.thy | ||
Isa_DOF.thy | ||
Isa_MOF.thy | ||
MOF.sml | ||
MyCommentedIsabelle.thy | ||
README.md | ||
ROOT | ||
RegExp.thy | ||
TODO | ||
converter.scala |
README.md
Isabelle_DOF
--- Isa_DOF is currently not used. it is based on an reflection approach (a la Frederic) but was abandoned as too heavy for this little nut to crack