src/HOL/ROOT
changeset 65515 f595b7532dc9
parent 65509 ffedb16f382f
child 65544 c09c11386ca5
equal deleted inserted replaced
65514:d10f0bbc7ea1 65515:f595b7532dc9
    53     (*prototypic tools*)
    53     (*prototypic tools*)
    54     Predicate_Compile_Quickcheck
    54     Predicate_Compile_Quickcheck
    55     (*legacy tools*)
    55     (*legacy tools*)
    56     Old_Datatype
    56     Old_Datatype
    57     Old_Recdef
    57     Old_Recdef
    58     Old_SMT
       
    59     Refute
    58     Refute
    60   document_files "root.bib" "root.tex"
    59   document_files "root.bib" "root.tex"
    61 
    60 
    62 session "HOL-Analysis" (main timing) in Analysis = HOL +
    61 session "HOL-Analysis" (main timing) in Analysis = HOL +
    63   theories
    62   theories