equal
deleted
inserted
replaced
863 session "HOL-Word" (main timing) in Word = HOL + |
863 session "HOL-Word" (main timing) in Word = HOL + |
864 sessions |
864 sessions |
865 "HOL-Library" |
865 "HOL-Library" |
866 theories |
866 theories |
867 Word |
867 Word |
|
868 WordBitwise |
868 Bit_Comparison |
869 Bit_Comparison |
869 document_files "root.bib" "root.tex" |
870 document_files "root.bib" "root.tex" |
870 |
871 |
871 session "HOL-Word-Examples" in "Word/Examples" = "HOL-Word" + |
872 session "HOL-Word-Examples" in "Word/Examples" = "HOL-Word" + |
872 options [document = false] |
873 options [document = false] |