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 15697 681bcb7f0389
parent 15684 5ec4d21889d6
child 15731 29ae73d8a84e 
--- a/src/HOL/IsaMakefile	Mon Apr 11 12:34:34 2005 +0200
+++ b/src/HOL/IsaMakefile	Mon Apr 11 16:25:31 2005 +0200
@@ -115,7 +115,7 @@
  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_translate_proof.ML Tools/ATP/recon_parse.ML Tools/ATP/recon_reconstruct_proof.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/watcher.sig Tools/ATP/watcher.ML   Tools/res_atp.ML\
isabelle