nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Cleanup.

This commit is contained in:
Achim D. Brucker 2019-01-06 13:26:56 +00:00
parent 904dfc07b3
commit 31a392238c
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
ROOT
View File

@ -1,8 +1,5 @@
session "Isabelle_DOF" = "Functional-Automata" +
options [document = pdf, document_output = "output"]
theories [document = false]
(* Foo *)
(* Bar *)
theories
Isa_DOF
"ontologies/CENELEC_50126"