# HG changeset patch
# User wenzelm
# Date 1172696744 -3600
# Node ID abfcb9899d41b723f6514a5e241875536e2b13ad
# Parent  8e02a61b401f4360791f4c3ce24648b54babcf2c
exported get_ss, map_ss;

diff -r 8e02a61b401f -r abfcb9899d41 src/Pure/simplifier.ML
--- a/src/Pure/simplifier.ML	Wed Feb 28 22:05:43 2007 +0100
+++ b/src/Pure/simplifier.ML	Wed Feb 28 22:05:44 2007 +0100
@@ -64,6 +64,8 @@
   val print_local_simpset: Proof.context -> unit
   val get_local_simpset: Proof.context -> simpset
   val put_local_simpset: simpset -> Proof.context -> Proof.context
+  val get_ss: Context.generic -> simpset
+  val map_ss: (simpset -> simpset) -> Context.generic -> Context.generic
   val attrib: (simpset * thm list -> simpset) -> attribute
   val simp_add: attribute
   val simp_del: attribute