equal
deleted
inserted
replaced
827 session "HOL-Word" (main timing) in Word = HOL + |
827 session "HOL-Word" (main timing) in Word = HOL + |
828 sessions |
828 sessions |
829 "HOL-Library" |
829 "HOL-Library" |
830 theories |
830 theories |
831 Word |
831 Word |
832 Word_Bitwise |
832 More_Word |
833 Word_Examples |
833 Word_Examples |
834 document_files "root.bib" "root.tex" |
834 document_files "root.bib" "root.tex" |
835 |
835 |
836 session "HOL-Statespace" in Statespace = HOL + |
836 session "HOL-Statespace" in Statespace = HOL + |
837 theories [skip_proofs = false] |
837 theories [skip_proofs = false] |