--- a/src/HOL/IsaMakefile Fri Oct 14 10:19:50 2005 +0200
+++ b/src/HOL/IsaMakefile Fri Oct 14 11:36:14 2005 +0200
@@ -107,7 +107,7 @@
Tools/recdef_package.ML Tools/recfun_codegen.ML \
Tools/reconstruction.ML Tools/record_package.ML Tools/refute.ML \
Tools/refute_isar.ML Tools/res_atp.ML Tools/res_axioms.ML \
- Tools/res_clause.ML Tools/res_types_sorts.ML Tools/rewrite_hol_proof.ML \
+ Tools/res_clause.ML Tools/rewrite_hol_proof.ML \
Tools/sat_funcs.ML \
Tools/sat_solver.ML Tools/specification_package.ML Tools/split_rule.ML \
Tools/typedef_package.ML Transitive_Closure.ML Transitive_Closure.thy \