src/HOL/IsaMakefile
changeset 18793 3536d86b5dc1
parent 18597 32c1bf8cf1a4
child 18886 9f27383426db
     1.1 --- a/src/HOL/IsaMakefile	Fri Jan 27 05:37:12 2006 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Fri Jan 27 05:45:25 2006 +0100
     1.3 @@ -95,6 +95,7 @@
     1.4    Set.thy SetInterval.thy Sum_Type.thy Tools/ATP/AtpCommunication.ML		\
     1.5    Tools/ATP/recon_order_clauses.ML Tools/ATP/recon_parse.ML			\
     1.6    Tools/ATP/recon_transfer_proof.ML			\
     1.7 +  Tools/ATP/reduce_axiomsN.ML 							\
     1.8    Tools/ATP/recon_translate_proof.ML Tools/ATP/res_clasimpset.ML		\
     1.9    Tools/ATP/watcher.ML 					\
    1.10    Tools/cnf_funcs.ML					\