equal
deleted
inserted
replaced
6 "../Tools/Predicate_Compile/pred_compile_set.ML" |
6 "../Tools/Predicate_Compile/pred_compile_set.ML" |
7 "../Tools/Predicate_Compile/pred_compile_data.ML" |
7 "../Tools/Predicate_Compile/pred_compile_data.ML" |
8 "../Tools/Predicate_Compile/pred_compile_fun.ML" |
8 "../Tools/Predicate_Compile/pred_compile_fun.ML" |
9 "../Tools/Predicate_Compile/pred_compile_pred.ML" |
9 "../Tools/Predicate_Compile/pred_compile_pred.ML" |
10 "../Tools/Predicate_Compile/predicate_compile.ML" |
10 "../Tools/Predicate_Compile/predicate_compile.ML" |
|
11 "../Tools/Predicate_Compile/pred_compile_quickcheck.ML" |
11 begin |
12 begin |
12 |
13 |
13 setup {* Predicate_Compile.setup *} |
14 setup {* Predicate_Compile.setup *} |
|
15 setup {* Quickcheck.add_generator ("pred_compile", Pred_Compile_Quickcheck.quickcheck) *} |
14 |
16 |
15 end |
17 end |