src/HOL/IsaMakefile
changeset 17819 1241e5d31d5b
parent 17800 d39171dda84e
child 17846 6fd3261a1be0
     1.1 --- a/src/HOL/IsaMakefile	Mon Oct 10 14:43:45 2005 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Mon Oct 10 15:35:29 2005 +0200
     1.3 @@ -107,8 +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_lib.ML Tools/res_skolem_function.ML		\
     1.8 -  Tools/res_types_sorts.ML Tools/rewrite_hol_proof.ML				\
     1.9 +  Tools/res_clause.ML Tools/res_types_sorts.ML Tools/rewrite_hol_proof.ML	\
    1.10    Tools/sat_funcs.ML					\
    1.11    Tools/sat_solver.ML Tools/specification_package.ML Tools/split_rule.ML	\
    1.12    Tools/typedef_package.ML Transitive_Closure.ML Transitive_Closure.thy		\