Isabelle_DOF/ROOT

session "Isabelle_DOF" = "Functional-Automata" + 
  options [document = pdf, document_output = "output"]
  theories [document = false]
    (* Foo *)
    (* Bar *)
  theories
    Isa_DOF
    "ontologies/CENELEC_50126"
    "ontologies/Conceptual"
    "ontologies/scholarly_paper"
    "ontologies/mathex_onto"
New Config for 2017 including AFP contributions for Regular-Sets and Regular Automata. Added a thin layer interfacing these two. Slight textual improvements of examples (updates to more recent notations). 2018-10-30 14:50:01 +00:00			`session "Isabelle_DOF" = "Functional-Automata" +`
Configuration a la chasse du LaTeX generation bug (having its origine in the Isar transaction engine). 2018-06-19 15:37:31 +00:00			`options [document = pdf, document_output = "output"]`
Added session Isabelle_DOF. 2018-04-07 21:08:29 +00:00			`theories [document = false]`
			`(* Foo *)`
			`(* Bar *)`
			`theories`
			`Isa_DOF`
Included standard ontologies into ROOT; checked under 16-1 and 17. ./install works for both. 2018-05-24 09:30:01 +00:00			`"ontologies/CENELEC_50126"`
Configuration a la chasse du LaTeX generation bug (having its origine in the Isar transaction engine). 2018-06-19 15:37:31 +00:00			`"ontologies/Conceptual"`
Included standard ontologies into ROOT; checked under 16-1 and 17. ./install works for both. 2018-05-24 09:30:01 +00:00			`"ontologies/scholarly_paper"`
			`"ontologies/mathex_onto"`
Added session Isabelle_DOF. 2018-04-07 21:08:29 +00:00