--- a/src/HOL/IsaMakefile Tue Nov 30 16:27:44 2004 +0100
+++ b/src/HOL/IsaMakefile Tue Nov 30 18:25:55 2004 +0100
@@ -102,14 +102,12 @@
Tools/datatype_realizer.ML Tools/datatype_rep_proofs.ML \
Tools/inductive_codegen.ML Tools/inductive_package.ML Tools/inductive_realizer.ML \
Tools/meson.ML Tools/numeral_syntax.ML \
- Tools/primrec_package.ML \
- Tools/prop_logic.ML \
- Tools/recdef_package.ML Tools/recfun_codegen.ML \
- Tools/record_package.ML \
+ Tools/primrec_package.ML Tools/prop_logic.ML \
+ Tools/recdef_package.ML Tools/recfun_codegen.ML Tools/record_package.ML \
Tools/refute.ML Tools/refute_isar.ML \
- Tools/rewrite_hol_proof.ML \
- Tools/sat_solver.ML \
- Tools/specification_package.ML \
+ Tools/res_lib.ML Tools/res_clause.ML Tools/res_skolem_function.ML\
+ Tools/res_axioms.ML Tools/res_types_sorts.ML Tools/res_atp.ML\
+ Tools/rewrite_hol_proof.ML Tools/sat_solver.ML Tools/specification_package.ML \
Tools/split_rule.ML Tools/typedef_package.ML \
Transitive_Closure.thy Transitive_Closure.ML Typedef.thy \
Wellfounded_Recursion.thy Wellfounded_Relations.thy arith_data.ML antisym_setup.ML \