src/HOL/IsaMakefile
changeset 15779 aed221aff642
parent 15774 9df37a0e935d
child 15858 d9f0c8580c0c
     1.1 --- a/src/HOL/IsaMakefile	Wed Apr 20 14:18:33 2005 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed Apr 20 16:03:17 2005 +0200
     1.3 @@ -119,7 +119,7 @@
     1.4   Tools/ATP/recon_transfer_proof.ML Tools/ATP/res_clasimpset.ML \
     1.5   Tools/ATP/VampireCommunication.ML Tools/ATP/SpassCommunication.ML Tools/ATP/modUnix.ML  \
     1.6   Tools/ATP/watcher.sig Tools/ATP/watcher.ML   Tools/res_atp.ML\
     1.7 -  document/root.tex hologic.ML simpdata.ML thy_syntax.ML
     1.8 +  ##document/root.tex hologic.ML simpdata.ML thy_syntax.ML
     1.9  	@$(ISATOOL) usedir -b -g true $(HOL_PROOF_OBJECTS) $(OUT)/Pure HOL
    1.10  
    1.11