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 21102 7f2ebe5c5b72
parent 21085 3cb13b06ad72
child 21142 a56a839e9feb 
--- a/src/HOL/IsaMakefile	Tue Oct 24 12:02:53 2006 +0200
+++ b/src/HOL/IsaMakefile	Thu Oct 26 10:48:35 2006 +0200
@@ -110,7 +110,7 @@
   Tools/numeral_syntax.ML Tools/primrec_package.ML Tools/prop_logic.ML		\
   Tools/polyhash.ML \
   Tools/recdef_package.ML Tools/recfun_codegen.ML				\
-  Tools/reconstruction.ML Tools/record_package.ML Tools/refute.ML		\
+  Tools/record_package.ML Tools/refute.ML		\
   Tools/refute_isar.ML Tools/res_atp.ML Tools/res_axioms.ML			\
   Tools/res_clause.ML Tools/rewrite_hol_proof.ML	\
   Tools/sat_funcs.ML					\
isabelle