equal
deleted
inserted
replaced
50 RBT_Mapping |
50 RBT_Mapping |
51 RBT_Set |
51 RBT_Set |
52 (*legacy tools*) |
52 (*legacy tools*) |
53 Refute |
53 Refute |
54 Old_Recdef |
54 Old_Recdef |
|
55 Old_SMT |
55 theories [condition = ISABELLE_FULL_TEST] |
56 theories [condition = ISABELLE_FULL_TEST] |
56 Sum_of_Squares_Remote |
57 Sum_of_Squares_Remote |
57 document_files "root.bib" "root.tex" |
58 document_files "root.bib" "root.tex" |
58 |
59 |
59 session "HOL-Hahn_Banach" in Hahn_Banach = HOL + |
60 session "HOL-Hahn_Banach" in Hahn_Banach = HOL + |