| changeset 33820 | 082d9bc6992d |
| parent 33561 | ab01b72715ef |
| child 33889 | 4328de748fb2 |
--- a/src/Tools/Code_Generator.thy Fri Nov 20 10:40:30 2009 +0100 +++ b/src/Tools/Code_Generator.thy Fri Nov 20 15:33:10 2009 +0100 @@ -5,8 +5,9 @@ header {* Loading the code generator modules *} theory Code_Generator -imports Auto_Counterexample +imports Pure uses + "~~/src/Tools/auto_counterexample.ML" "~~/src/Tools/value.ML" "~~/src/Tools/quickcheck.ML" "~~/src/Tools/Code/code_preproc.ML"