equal
deleted
inserted
replaced
8 theory Predicate_Compile |
8 theory Predicate_Compile |
9 imports Random_Sequence Quickcheck |
9 imports Random_Sequence Quickcheck |
10 uses |
10 uses |
11 "Tools/Predicate_Compile/predicate_compile_aux.ML" |
11 "Tools/Predicate_Compile/predicate_compile_aux.ML" |
12 "Tools/Predicate_Compile/predicate_compile_core.ML" |
12 "Tools/Predicate_Compile/predicate_compile_core.ML" |
13 "Tools/Predicate_Compile/predicate_compile_set.ML" |
|
14 "Tools/Predicate_Compile/predicate_compile_data.ML" |
13 "Tools/Predicate_Compile/predicate_compile_data.ML" |
15 "Tools/Predicate_Compile/predicate_compile_fun.ML" |
14 "Tools/Predicate_Compile/predicate_compile_fun.ML" |
16 "Tools/Predicate_Compile/predicate_compile_pred.ML" |
15 "Tools/Predicate_Compile/predicate_compile_pred.ML" |
17 "Tools/Predicate_Compile/predicate_compile.ML" |
16 "Tools/Predicate_Compile/predicate_compile.ML" |
18 begin |
17 begin |