equal
deleted
inserted
replaced
830 "Tests/Misc_Mono" |
830 "Tests/Misc_Mono" |
831 "Tests/Misc_Poly" |
831 "Tests/Misc_Poly" |
832 "Tests/Small_Concrete" |
832 "Tests/Small_Concrete" |
833 "Tests/Stream_Friends" |
833 "Tests/Stream_Friends" |
834 "Tests/TLList_Friends" |
834 "Tests/TLList_Friends" |
|
835 "Tests/Type_Class" |
835 |
836 |
836 session "HOL-Word" (main) in Word = HOL + |
837 session "HOL-Word" (main) in Word = HOL + |
837 theories Word |
838 theories Word |
838 document_files "root.bib" "root.tex" |
839 document_files "root.bib" "root.tex" |
839 |
840 |