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 20762 a7a5157c5e75
parent 20610 09ef37366a31
child 20767 9bc632ae588f 
--- a/src/HOL/IsaMakefile	Thu Sep 28 16:01:34 2006 +0200
+++ b/src/HOL/IsaMakefile	Thu Sep 28 16:01:48 2006 +0200
@@ -100,11 +100,7 @@
   ROOT.ML Recdef.thy Reconstruction.thy Record.thy Refute.thy			\
   Relation.ML Relation.thy Relation_Power.thy Ring_and_Field.thy SAT.thy Set.ML		\
   Set.thy SetInterval.thy Sum_Type.thy Tools/ATP/AtpCommunication.ML		\
-  Tools/ATP/recon_order_clauses.ML Tools/ATP/recon_parse.ML			\
-  Tools/ATP/recon_transfer_proof.ML			\
-  Tools/ATP/reduce_axiomsN.ML 							\
-  Tools/ATP/recon_translate_proof.ML 		\
-  Tools/ATP/watcher.ML 					\
+  Tools/ATP/reduce_axiomsN.ML Tools/ATP/watcher.ML 					\
   Tools/cnf_funcs.ML					\
   Tools/datatype_abs_proofs.ML Tools/datatype_aux.ML				\
   Tools/datatype_codegen.ML Tools/datatype_hooks.ML Tools/datatype_package.ML	\
isabelle