changeset 36062 | 194cb6e3c13f |
parent 36060 | 4d27652ffb40 |
child 36066 | 1493b43204e9 |
--- a/src/HOL/IsaMakefile Mon Mar 29 15:26:19 2010 +0200 +++ b/src/HOL/IsaMakefile Mon Mar 29 15:50:18 2010 +0200 @@ -296,7 +296,6 @@ Tools/numeral.ML \ Tools/numeral_simprocs.ML \ Tools/numeral_syntax.ML \ - Tools/polyhash.ML \ Tools/Predicate_Compile/predicate_compile_aux.ML \ Tools/Predicate_Compile/predicate_compile_core.ML \ Tools/Predicate_Compile/predicate_compile_data.ML \