| changeset 22132 | 0f26cd597193 |
| parent 22095 | 07875394618e |
| child 22201 | 6fe46a7259ec |
--- 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 *)