equal
deleted
inserted
replaced
729 "Derivation_Trees/Parallel" |
729 "Derivation_Trees/Parallel" |
730 Koenig |
730 Koenig |
731 theories [condition = ISABELLE_FULL_TEST] |
731 theories [condition = ISABELLE_FULL_TEST] |
732 Misc_Codatatype |
732 Misc_Codatatype |
733 Misc_Datatype |
733 Misc_Datatype |
|
734 Misc_Primrec |
734 |
735 |
735 session "HOL-Word" (main) in Word = HOL + |
736 session "HOL-Word" (main) in Word = HOL + |
736 options [document_graph] |
737 options [document_graph] |
737 theories Word |
738 theories Word |
738 files "document/root.bib" "document/root.tex" |
739 files "document/root.bib" "document/root.tex" |