equal
deleted
inserted
replaced
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 |