tuned signature;
authorwenzelm
Fri Apr 22 13:07:47 2011 +0200 (2011-04-22)
changeset 4245412a752aeee98
parent 42453 cd5005020f4e
child 42455 6702c984bf5a
tuned signature;
src/Pure/raw_simplifier.ML
     1.1 --- a/src/Pure/raw_simplifier.ML	Fri Apr 22 12:46:48 2011 +0200
     1.2 +++ b/src/Pure/raw_simplifier.ML	Fri Apr 22 13:07:47 2011 +0200
     1.3 @@ -116,7 +116,7 @@
     1.4    val inherit_context: simpset -> simpset -> simpset
     1.5    val the_context: simpset -> Proof.context
     1.6    val context: Proof.context -> simpset -> simpset
     1.7 -  val global_context: theory  -> simpset -> simpset
     1.8 +  val global_context: theory -> simpset -> simpset
     1.9    val with_context: Proof.context -> (simpset -> simpset) -> simpset -> simpset
    1.10    val debug_bounds: bool Unsynchronized.ref
    1.11    val set_reorient: (theory -> term list -> term -> term -> bool) -> simpset -> simpset