changeset 31036 | 64ff53fc0c0c |
parent 30973 | 304ab57afa6e |
child 31125 | 80218ee73167 |
--- a/src/Tools/Code_Generator.thy Mon May 04 14:49:50 2009 +0200 +++ b/src/Tools/Code_Generator.thy Mon May 04 14:49:51 2009 +0200 @@ -9,7 +9,6 @@ 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" "~~/src/Tools/code/code_printer.ML"