changeset 33889 | 4328de748fb2 |
parent 33820 | 082d9bc6992d |
child 34028 | 1e6206763036 |
--- a/src/Tools/Code_Generator.thy Tue Nov 24 16:11:50 2009 +0100 +++ b/src/Tools/Code_Generator.thy Tue Nov 24 17:19:33 2009 +0100 @@ -7,9 +7,10 @@ theory Code_Generator imports Pure uses + "~~/src/Tools/auto_solve.ML" "~~/src/Tools/auto_counterexample.ML" + "~~/src/Tools/quickcheck.ML" "~~/src/Tools/value.ML" - "~~/src/Tools/quickcheck.ML" "~~/src/Tools/Code/code_preproc.ML" "~~/src/Tools/Code/code_thingol.ML" "~~/src/Tools/Code/code_printer.ML"