Added Tools/res_hol_clause.ML
authormengj
Fri Oct 28 02:30:53 2005 +0200 (2005-10-28)
changeset 18005a444181a45ce
parent 18004 1883971957de
child 18006 535de280c812
Added Tools/res_hol_clause.ML
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Fri Oct 28 02:30:12 2005 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Oct 28 02:30:53 2005 +0200
     1.3 @@ -115,7 +115,7 @@
     1.4    antisym_setup.ML arith_data.ML blastdata.ML cladata.ML			\
     1.5    document/root.tex eqrule_HOL_data.ML hologic.ML simpdata.ML			\
     1.6    ResAtpMethods.thy \
     1.7 -  Tools/res_atp_setup.ML Tools/res_atp_provers.ML Tools/res_atp_methods.ML 	
     1.8 +  Tools/res_atp_setup.ML Tools/res_atp_provers.ML Tools/res_atp_methods.ML Tools/res_hol_clause.ML 	
     1.9  	@$(ISATOOL) usedir $(HOL_USEDIR_OPTIONS) -b -g true $(OUT)/Pure HOL
    1.10  
    1.11