1.1 --- a/src/Tools/Code_Generator.thy	Tue Nov 24 16:11:50 2009 +0100
     1.2 +++ b/src/Tools/Code_Generator.thy	Tue Nov 24 17:19:33 2009 +0100
     1.3 @@ -7,9 +7,10 @@
     1.4  theory Code_Generator
     1.5  imports Pure
     1.6  uses
     1.7 +  "~~/src/Tools/auto_solve.ML"
     1.8    "~~/src/Tools/auto_counterexample.ML"
     1.9 +  "~~/src/Tools/quickcheck.ML"
    1.10    "~~/src/Tools/value.ML"
    1.11 -  "~~/src/Tools/quickcheck.ML"
    1.12    "~~/src/Tools/Code/code_preproc.ML" 
    1.13    "~~/src/Tools/Code/code_thingol.ML"
    1.14    "~~/src/Tools/Code/code_printer.ML"