Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.

This repository has been archived on 2024-04-22. You can view files and clone it, but cannot push or open issues or pull requests.

Go to file

Burkhart Wolff be3c0fa315 worked on onto and instance of Conceptual example. For framework paper		2018-04-28 15:15:25 +02:00
document-generator	Documented Eclipse setup.	2018-04-08 17:32:04 +01:00
examples	worked on onto and instance of Conceptual example.	2018-04-28 15:15:25 +02:00
ontologies	worked on onto and instance of Conceptual example.	2018-04-28 15:15:25 +02:00
.gitignore	Added: simple test setup.	2018-03-06 09:44:07 +00:00
Assert.thy	Kind of current status.	2018-02-07 19:44:27 +01:00
AssertLong.thy	Kind of current status.	2018-02-07 19:44:27 +01:00
Isa_DOF.thy	worked on onto and instance of Conceptual example.	2018-04-28 15:15:25 +02:00
Isa_MOF.thy	Kind of current status.	2018-02-07 19:44:27 +01:00
MOF.sml	no message	2018-04-06 14:13:17 +02:00
MyCommentedIsabelle.thy	Typing works (more or less) for the value.	2018-04-27 17:12:42 +02:00
README.md	Kind of current status.	2018-02-07 19:44:27 +01:00
ROOT	Added session Isabelle_DOF.	2018-04-07 22:08:29 +01:00
RegExp.thy	Kind of current status.	2018-02-07 19:44:27 +01:00
TODO	Added more checks.	2018-02-09 12:25:15 +01:00
converter.scala	stand der diskussion	2018-03-28 13:57:25 +02:00

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