deletion of Tools/res_types_sorts; removal of absolute numbering of clauses
authorpaulson
Fri Oct 14 11:36:14 2005 +0200 (2005-10-14)
changeset 178466fd3261a1be0
parent 17845 1438291d57f0
child 17847 5d5cada76409
deletion of Tools/res_types_sorts; removal of absolute numbering of clauses
src/HOL/IsaMakefile
src/HOL/Reconstruction.thy
     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		\
     2.1 --- a/src/HOL/Reconstruction.thy	Fri Oct 14 10:19:50 2005 +0200
     2.2 +++ b/src/HOL/Reconstruction.thy	Fri Oct 14 11:36:14 2005 +0200
     2.3 @@ -10,7 +10,6 @@
     2.4  imports Hilbert_Choice Map Infinite_Set Extraction
     2.5  uses "Tools/res_clause.ML"
     2.6  	 "Tools/res_axioms.ML"
     2.7 -	 "Tools/res_types_sorts.ML"
     2.8  	 "Tools/ATP/recon_order_clauses.ML"
     2.9  	 "Tools/ATP/recon_translate_proof.ML"
    2.10  	 "Tools/ATP/recon_parse.ML"