changeset 30006 | f54b48cda286 |
parent 29968 | 7171f3f058b6 |
child 30013 | 1e0b8e561cc2 |
--- a/src/HOL/HOL.thy Thu Feb 19 23:18:28 2009 -0800 +++ b/src/HOL/HOL.thy Fri Feb 20 10:14:31 2009 +0100 @@ -28,7 +28,7 @@ ("~~/src/Tools/induct_tacs.ML") "~~/src/Tools/value.ML" "~~/src/Tools/code/code_name.ML" - "~~/src/Tools/code/code_funcgr.ML" + "~~/src/Tools/code/code_wellsorted.ML" "~~/src/Tools/code/code_thingol.ML" "~~/src/Tools/code/code_printer.ML" "~~/src/Tools/code/code_target.ML"