changeset 30973 | 304ab57afa6e |
parent 30929 | d9343c0aac11 |
child 31036 | 64ff53fc0c0c |
--- a/src/Tools/Code_Generator.thy Fri Apr 24 17:45:16 2009 +0200 +++ b/src/Tools/Code_Generator.thy Fri Apr 24 17:45:17 2009 +0200 @@ -8,6 +8,7 @@ imports Pure uses "~~/src/Tools/value.ML" + "~~/src/Tools/quickcheck.ML" "~~/src/Tools/code/code_name.ML" "~~/src/Tools/code/code_wellsorted.ML" "~~/src/Tools/code/code_thingol.ML"