document-generator
Increased version number to 0.0.1.
2018-05-19 18:37:36 +01:00
examples
Weiss nicht was commit
2018-05-02 09:40:47 +02:00
ontologies
Weiss nicht was commit
2018-05-02 09:40:47 +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
Kleine Korrekturen an scholerly …
2018-04-30 10:48:14 +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
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