exported get_ss, map_ss;
authorwenzelm
Wed Feb 28 22:05:44 2007 +0100 (2007-02-28)
changeset 22379abfcb9899d41
parent 22378 8e02a61b401f
child 22380 7635e59e3125
exported get_ss, map_ss;
src/Pure/simplifier.ML
     1.1 --- a/src/Pure/simplifier.ML	Wed Feb 28 22:05:43 2007 +0100
     1.2 +++ b/src/Pure/simplifier.ML	Wed Feb 28 22:05:44 2007 +0100
     1.3 @@ -64,6 +64,8 @@
     1.4    val print_local_simpset: Proof.context -> unit
     1.5    val get_local_simpset: Proof.context -> simpset
     1.6    val put_local_simpset: simpset -> Proof.context -> Proof.context
     1.7 +  val get_ss: Context.generic -> simpset
     1.8 +  val map_ss: (simpset -> simpset) -> Context.generic -> Context.generic
     1.9    val attrib: (simpset * thm list -> simpset) -> attribute
    1.10    val simp_add: attribute
    1.11    val simp_del: attribute