Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added @{simpset};
authorwenzelm
Sat, 20 Jan 2007 14:09:17 +0100
changeset 22132 0f26cd597193
parent 22131 fa8960e165a6
child 22133 dd8a81e84a1c
added @{simpset};
src/Pure/simplifier.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/simplifier.ML	Sat Jan 20 14:09:16 2007 +0100
+++ b/src/Pure/simplifier.ML	Sat Jan 20 14:09:17 2007 +0100
@@ -138,6 +138,9 @@
 
 fun local_simpset_of ctxt = MetaSimplifier.context ctxt (get_local_simpset ctxt);
 
+val _ = ML_Context.value_antiq "simpset"
+  (Scan.succeed ("simpset", "Simplifier.local_simpset_of (ML_Context.the_local_context ())"));
+
 
 (* attributes *)
isabelle