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

Achim D. Brucker e60afde3f9 Added simple parser for command line arguments.		2018-04-08 14:23:56 +01:00
document-generator	Added simple parser for command line arguments.	2018-04-08 14:23:56 +01:00
examples	Diverses	2018-04-08 11:29:59 +02:00
ontologies	no message	2018-04-06 14:48:43 +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	Added syntax for update_instance*…	2018-04-05 12:44:52 +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	A decisive intermediate step: got sub-classing running,	2018-02-28 14:06:52 +01: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