src/HOL/IsaMakefile
changeset 18597 32c1bf8cf1a4
parent 18529 540da2415751
child 18793 3536d86b5dc1
     1.1 --- a/src/HOL/IsaMakefile	Fri Jan 06 18:18:14 2006 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Fri Jan 06 18:18:15 2006 +0100
     1.3 @@ -114,9 +114,9 @@
     1.4    Tools/typedef_package.ML Transitive_Closure.ML Transitive_Closure.thy		\
     1.5    Typedef.thy Wellfounded_Recursion.thy Wellfounded_Relations.thy		\
     1.6    antisym_setup.ML arith_data.ML blastdata.ML cladata.ML			\
     1.7 -  document/root.tex eqrule_HOL_data.ML hologic.ML simpdata.ML			\
     1.8 -  ResAtpMethods.thy \
     1.9 -  Tools/res_atp_setup.ML Tools/res_atp_provers.ML Tools/res_atp_methods.ML Tools/res_hol_clause.ML 	
    1.10 +  document/root.tex hologic.ML simpdata.ML ResAtpMethods.thy 			\
    1.11 +  Tools/res_atp_setup.ML Tools/res_atp_provers.ML Tools/res_atp_methods.ML	\
    1.12 +  Tools/res_hol_clause.ML
    1.13  	@$(ISATOOL) usedir $(HOL_USEDIR_OPTIONS) -b -g true $(OUT)/Pure HOL
    1.14  
    1.15