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 39720 0b93a954da4f
parent 39655 8ad7fe9d6f0b
child 39757 21423597a80d 
--- a/src/HOL/IsaMakefile	Mon Sep 27 09:17:24 2010 +0200
+++ b/src/HOL/IsaMakefile	Mon Sep 27 10:44:08 2010 +0200
@@ -316,8 +316,7 @@
   Tools/recdef.ML \
   Tools/record.ML \
   Tools/semiring_normalizer.ML \
-  Tools/Sledgehammer/clausifier.ML \
-  Tools/Sledgehammer/meson_tactic.ML \
+  Tools/Sledgehammer/meson_clausifier.ML \
   Tools/Sledgehammer/metis_reconstruct.ML \
   Tools/Sledgehammer/metis_translate.ML \
   Tools/Sledgehammer/metis_tactics.ML \
isabelle