equal
deleted
inserted
replaced
51 "Commutative_Ring_Complete", |
51 "Commutative_Ring_Complete", |
52 "Eval_Examples", |
52 "Eval_Examples", |
53 "Random", |
53 "Random", |
54 "Primrec", |
54 "Primrec", |
55 "Tarski", |
55 "Tarski", |
56 "Adder" |
56 "Adder", |
|
57 "Classical", |
|
58 "set", |
|
59 "Meson_Test" |
57 ]; |
60 ]; |
58 |
61 |
59 setmp Proofterm.proofs 2 time_use_thy "Hilbert_Classical"; |
62 setmp Proofterm.proofs 2 time_use_thy "Hilbert_Classical"; |
60 |
63 |
61 time_use_thy "Classical"; |
|
62 time_use_thy "set"; |
|
63 |
|
64 time_use_thy "Meson_Test"; |
|
65 time_use_thy "Dense_Linear_Order_Ex"; |
64 time_use_thy "Dense_Linear_Order_Ex"; |
66 time_use_thy "PresburgerEx"; |
65 time_use_thy "PresburgerEx"; |
67 time_use_thy "Reflected_Presburger"; |
66 time_use_thy "Reflected_Presburger"; |
68 |
67 |
69 time_use_thy "Reflection"; |
68 time_use_thy "Reflection"; |