equal
deleted
inserted
replaced
5 header {* Loading the code generator modules *} |
5 header {* Loading the code generator modules *} |
6 |
6 |
7 theory Code_Generator |
7 theory Code_Generator |
8 imports Pure |
8 imports Pure |
9 uses |
9 uses |
|
10 "~~/src/Tools/auto_solve.ML" |
10 "~~/src/Tools/auto_counterexample.ML" |
11 "~~/src/Tools/auto_counterexample.ML" |
|
12 "~~/src/Tools/quickcheck.ML" |
11 "~~/src/Tools/value.ML" |
13 "~~/src/Tools/value.ML" |
12 "~~/src/Tools/quickcheck.ML" |
|
13 "~~/src/Tools/Code/code_preproc.ML" |
14 "~~/src/Tools/Code/code_preproc.ML" |
14 "~~/src/Tools/Code/code_thingol.ML" |
15 "~~/src/Tools/Code/code_thingol.ML" |
15 "~~/src/Tools/Code/code_printer.ML" |
16 "~~/src/Tools/Code/code_printer.ML" |
16 "~~/src/Tools/Code/code_target.ML" |
17 "~~/src/Tools/Code/code_target.ML" |
17 "~~/src/Tools/Code/code_ml.ML" |
18 "~~/src/Tools/Code/code_ml.ML" |