Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 15774 9df37a0e935d
parent 15771 08cc20626a0f
child 15779 aed221aff642 
--- a/src/HOL/IsaMakefile	Tue Apr 19 15:15:06 2005 +0200
+++ b/src/HOL/IsaMakefile	Tue Apr 19 18:08:44 2005 +0200
@@ -114,10 +114,10 @@
   blastdata.ML cladata.ML \
  Tools/res_lib.ML Tools/res_clause.ML Tools/res_skolem_function.ML\
  Tools/res_axioms.ML Tools/res_types_sorts.ML \
- Tools/ATP/recon_prelim.ML Tools/ATP/recon_gandalf_base.ML Tools/ATP/recon_order_clauses.ML\
+ Tools/ATP/recon_prelim.ML Tools/ATP/recon_order_clauses.ML\
  Tools/ATP/recon_translate_proof.ML Tools/ATP/recon_parse.ML \
  Tools/ATP/recon_transfer_proof.ML Tools/ATP/res_clasimpset.ML \
- Tools/ATP/VampireCommunication.ML Tools/ATP/SpassCommunication.ML   Tools/ATP/modUnix.ML  \
+ Tools/ATP/VampireCommunication.ML Tools/ATP/SpassCommunication.ML Tools/ATP/modUnix.ML  \
  Tools/ATP/watcher.sig Tools/ATP/watcher.ML   Tools/res_atp.ML\
   document/root.tex hologic.ML simpdata.ML thy_syntax.ML
 	@$(ISATOOL) usedir -b -g true $(HOL_PROOF_OBJECTS) $(OUT)/Pure HOL
isabelle