Integrated session for cytology example.

2023-03-01 10:49:54 +00:00 · 2023-03-01 10:49:54 +00:00 · 2cb9156488
parent ef87b1d81c
commit 2cb9156488
2 changed files with 5 additions and 0 deletions
--- a/Isabelle_DOF-Example-Extra/ROOTS
+++ b/Isabelle_DOF-Example-Extra/ROOTS
@ -1,3 +1,4 @@
 scholarly_paper
 technical_report
 CENELEC_50128
+cytology
--- a/Isabelle_DOF-Example-Extra/cytology/ROOT
+++ b/Isabelle_DOF-Example-Extra/cytology/ROOT
@ -0,0 +1,4 @@
+session "Cytology" = "Isabelle_DOF" +
+  options [document = false]
+  theories
+    "Cytology"