1.1 --- a/src/HOL/IsaMakefile Wed Apr 27 00:47:38 2005 +0200
1.2 +++ b/src/HOL/IsaMakefile Wed Apr 27 06:03:35 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