equal
deleted
inserted
replaced
47 Code_Integer |
47 Code_Integer |
48 Efficient_Nat |
48 Efficient_Nat |
49 (* Code_Prolog FIXME cf. 76965c356d2a *) |
49 (* Code_Prolog FIXME cf. 76965c356d2a *) |
50 Code_Real_Approx_By_Float |
50 Code_Real_Approx_By_Float |
51 Target_Numeral |
51 Target_Numeral |
|
52 theories [condition = ISABELLE_FULL_TEST] |
|
53 Sum_of_Squares_Remote |
52 files "document/root.bib" "document/root.tex" |
54 files "document/root.bib" "document/root.tex" |
53 |
55 |
54 session "HOL-Hahn_Banach" in Hahn_Banach = HOL + |
56 session "HOL-Hahn_Banach" in Hahn_Banach = HOL + |
55 description {* |
57 description {* |
56 Author: Gertrud Bauer, TU Munich |
58 Author: Gertrud Bauer, TU Munich |