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/Pure/IsaMakefile
changeset 41228 e1fce873b814
parent 40748 591b6778d076
child 41710 11ae688e4e30 
--- a/src/Pure/IsaMakefile	Fri Dec 17 16:25:21 2010 +0100
+++ b/src/Pure/IsaMakefile	Fri Dec 17 17:08:56 2010 +0100
@@ -227,7 +227,6 @@
   item_net.ML						\
   library.ML						\
   logic.ML						\
-  meta_simplifier.ML					\
   more_thm.ML						\
   morphism.ML						\
   name.ML						\
@@ -238,6 +237,7 @@
   proofterm.ML						\
   pure_setup.ML						\
   pure_thy.ML						\
+  raw_simplifier.ML					\
   search.ML						\
   sign.ML						\
   simplifier.ML						\
isabelle