Isabelle_DOF/ROOT

session "Isabelle_DOF" = "Functional-Automata" + 
  options [document = pdf, document_output = "output"]
  sessions
    "Regular-Sets"
  theories
    Isa_DOF
    "ontologies/Conceptual"
    (*
    "ontologies/CENELEC_50128"
    "ontologies/scholarly_paper"
    "ontologies/technical_report"
    "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 Regular-Sets as session. 2019-01-06 17:39:29 +00:00			`sessions`
			`"Regular-Sets"`
Added session Isabelle_DOF. 2018-04-07 21:08:29 +00:00			`theories`
			`Isa_DOF`
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"`
Diverse patches um den Crash des LaTeX generators zu verstehen. 2019-05-17 10:05:04 +00:00			`(*`
Experiments with the LaTeX generator 2019-05-14 07:13:42 +00:00			`"ontologies/CENELEC_50128"`
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"`
kleinkram 2018-11-27 10:13:49 +00:00			`"ontologies/technical_report"`
Included standard ontologies into ROOT; checked under 16-1 and 17. ./install works for both. 2018-05-24 09:30:01 +00:00			`"ontologies/mathex_onto"`
Diverse patches um den Crash des LaTeX generators zu verstehen. 2019-05-17 10:05:04 +00:00			`*)`
Added session Isabelle_DOF. 2018-04-07 21:08:29 +00:00