src/HOL/IsaMakefile
changeset 17846 6fd3261a1be0
parent 17819 1241e5d31d5b
child 17905 1574533861b1
     1.1 --- a/src/HOL/IsaMakefile	Fri Oct 14 10:19:50 2005 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Oct 14 11:36:14 2005 +0200
     1.3 @@ -107,7 +107,7 @@
     1.4    Tools/recdef_package.ML Tools/recfun_codegen.ML				\
     1.5    Tools/reconstruction.ML Tools/record_package.ML Tools/refute.ML		\
     1.6    Tools/refute_isar.ML Tools/res_atp.ML Tools/res_axioms.ML			\
     1.7 -  Tools/res_clause.ML Tools/res_types_sorts.ML Tools/rewrite_hol_proof.ML	\
     1.8 +  Tools/res_clause.ML Tools/rewrite_hol_proof.ML	\
     1.9    Tools/sat_funcs.ML					\
    1.10    Tools/sat_solver.ML Tools/specification_package.ML Tools/split_rule.ML	\
    1.11    Tools/typedef_package.ML Transitive_Closure.ML Transitive_Closure.thy		\