src/HOL/ROOT
changeset 65462 db1827610513
parent 65456 31e8a86971a8
child 65485 8c7bc3a13513
equal deleted inserted replaced
65461:b6c2e30dc018 65462:db1827610513
    58     Refute
    58     Refute
    59   document_files "root.bib" "root.tex"
    59   document_files "root.bib" "root.tex"
    60 
    60 
    61 session "HOL-Analysis" (main timing) in Analysis = HOL +
    61 session "HOL-Analysis" (main timing) in Analysis = HOL +
    62   theories
    62   theories
    63     Analysis (global)
    63     Analysis
    64   document_files
    64   document_files
    65     "root.tex"
    65     "root.tex"
    66 
    66 
    67 session "HOL-Analysis-ex" in "Analysis/ex" = "HOL-Analysis" +
    67 session "HOL-Analysis-ex" in "Analysis/ex" = "HOL-Analysis" +
    68   theories
    68   theories
   828     "Tests/TLList_Friends"
   828     "Tests/TLList_Friends"
   829     "Tests/Type_Class"
   829     "Tests/Type_Class"
   830 
   830 
   831 session "HOL-Word" (main timing) in Word = HOL +
   831 session "HOL-Word" (main timing) in Word = HOL +
   832   theories
   832   theories
   833     Word (global)
   833     Word
   834   document_files "root.bib" "root.tex"
   834   document_files "root.bib" "root.tex"
   835 
   835 
   836 session "HOL-Word-Examples" in "Word/Examples" = "HOL-Word" +
   836 session "HOL-Word-Examples" in "Word/Examples" = "HOL-Word" +
   837   options [document = false]
   837   options [document = false]
   838   theories WordExamples
   838   theories WordExamples