equal
deleted
inserted
replaced
12 "Quickcheck_Generators", |
12 "Quickcheck_Generators", |
13 "Codegenerator_Test", |
13 "Codegenerator_Test", |
14 "Codegenerator_Pretty_Test", |
14 "Codegenerator_Pretty_Test", |
15 "NormalForm", |
15 "NormalForm", |
16 "../NumberTheory/Factorization", |
16 "../NumberTheory/Factorization", |
17 "Predicate_Compile" |
17 "Predicate_Compile", |
|
18 "Predicate_Compile_ex" |
18 ]; |
19 ]; |
19 |
|
20 setmp quick_and_dirty true use_thy "Predicate_Compile_ex"; |
|
21 |
20 |
22 use_thys [ |
21 use_thys [ |
23 "Numeral", |
22 "Numeral", |
24 "Higher_Order_Logic", |
23 "Higher_Order_Logic", |
25 "Abstract_NAT", |
24 "Abstract_NAT", |