equal
deleted
inserted
replaced
810 document_files |
810 document_files |
811 "intro.tex" |
811 "intro.tex" |
812 "root.tex" |
812 "root.tex" |
813 "root.bib" |
813 "root.bib" |
814 |
814 |
815 session "HOL-Datatype_Examples" (timing) in Datatype_Examples = HOL + |
815 session "HOL-Datatype_Examples" (timing) in Datatype_Examples = "HOL-Library" + |
816 description {* |
816 description {* |
817 (Co)datatype Examples. |
817 (Co)datatype Examples. |
818 *} |
818 *} |
819 options [document = false] |
819 options [document = false] |
820 sessions |
|
821 "HOL-Library" |
|
822 theories |
820 theories |
823 Compat |
821 Compat |
824 Lambda_Term |
822 Lambda_Term |
825 Process |
823 Process |
826 TreeFsetI |
824 TreeFsetI |
827 "Derivation_Trees/Gram_Lang" |
825 "Derivation_Trees/Gram_Lang" |
828 "Derivation_Trees/Parallel" |
826 "Derivation_Trees/Parallel_Composition" |
829 Koenig |
827 Koenig |
830 Lift_BNF |
828 Lift_BNF |
831 Milner_Tofte |
829 Milner_Tofte |
832 Stream_Processor |
830 Stream_Processor |
833 Misc_Codatatype |
831 Misc_Codatatype |