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/Tools/Code/code_simp.ML
changeset 41251 1e6d86821718
parent 41247 c5cb19ecbd41
parent 41225 bd4ecd48c21f
child 41346 6673f6fa94ca 
--- a/src/Tools/Code/code_simp.ML	Fri Dec 17 18:24:44 2010 +0100
+++ b/src/Tools/Code/code_simp.ML	Fri Dec 17 18:33:35 2010 +0100
@@ -24,7 +24,7 @@
 (
   type T = simpset;
   val empty = empty_ss;
-  fun extend ss = MetaSimplifier.inherit_context empty_ss ss;
+  fun extend ss = Simplifier.inherit_context empty_ss ss;
   val merge = merge_ss;
 );
isabelle