Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Based all examples on session 'Functional-Automata'.

This commit is contained in:
Achim D. Brucker 2018-11-06 09:31:01 +00:00
parent ab3ba421c8
commit 46c51235e3
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
examples/math_exam/MathExam/ROOT
View File

@ -1,4 +1,4 @@
session "MathExam" = "HOL" +
session "MathExam" = "Functional-Automata" +
options [document = pdf, document_output = "output"]
theories [document = false]
(* Foo *)

2
examples/scholarly/ROOT
View File

@ -1,4 +1,4 @@
session "IsaDofApplications" = Main + (* "Isabelle_DOF" + *)
session "IsaDofApplications" = "Functional-Automata" +
options [document = pdf, document_output = "output", quick_and_dirty = true]
theories [document = false]
"../../ontologies/scholarly_paper"

2
examples/technical_report/ROOT
View File

@ -1,4 +1,4 @@
session "TechnicalReport" = "Isabelle_DOF" +
session "TechnicalReport" = "Functional-Automata" +
options [document = pdf, document_output = "output", quick_and_dirty = true]
theories [document = false]
"../../ontologies/scholarly_paper"