Isabelle_DOF/examples/math_exam/MathExam/ROOT

session "MathExam" = "HOL" +
  options [document = pdf, document_output = "output"]
  theories [document = false]
    "../../../ontologies/mathex_onto" 
  theories
     MathExam
  document_files
    "root.tex"
    "build"
Restructuring, and basic infrastructure for buildsRestructuring, and basic infrastructure for builds.. 2018-06-08 07:29:57 +00:00			`session "MathExam" = "HOL" +`
			`options [document = pdf, document_output = "output"]`
			`theories [document = false]`
ncomplete checkin. Modifs on ROOT. 2018-06-08 09:46:44 +00:00			`"../../../ontologies/mathex_onto"`
Restructuring, and basic infrastructure for buildsRestructuring, and basic infrastructure for builds.. 2018-06-08 07:29:57 +00:00			`theories`
ncomplete checkin. Modifs on ROOT. 2018-06-08 09:46:44 +00:00			`MathExam`
Restructuring, and basic infrastructure for buildsRestructuring, and basic infrastructure for builds.. 2018-06-08 07:29:57 +00:00			`document_files`
			`"root.tex"`
			`"build"`