changeset 37818 | dd65033fed78 |
parent 37442 | 037ee7b712b2 |
child 38970 | 53d1ee3d98b8 |
--- a/src/Tools/Code_Generator.thy Wed Jul 14 12:27:44 2010 +0200 +++ b/src/Tools/Code_Generator.thy Wed Jul 14 14:16:12 2010 +0200 @@ -7,6 +7,7 @@ theory Code_Generator imports Pure uses + "~~/src/Tools/cache_io.ML" "~~/src/Tools/auto_solve.ML" "~~/src/Tools/auto_counterexample.ML" "~~/src/Tools/quickcheck.ML"