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.
tuned signature;
authorwenzelm
Fri, 22 Apr 2011 13:07:47 +0200
changeset 42454 12a752aeee98
parent 42453 cd5005020f4e
child 42455 6702c984bf5a
tuned signature;
src/Pure/raw_simplifier.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/raw_simplifier.ML	Fri Apr 22 12:46:48 2011 +0200
+++ b/src/Pure/raw_simplifier.ML	Fri Apr 22 13:07:47 2011 +0200
@@ -116,7 +116,7 @@
   val inherit_context: simpset -> simpset -> simpset
   val the_context: simpset -> Proof.context
   val context: Proof.context -> simpset -> simpset
-  val global_context: theory  -> simpset -> simpset
+  val global_context: theory -> simpset -> simpset
   val with_context: Proof.context -> (simpset -> simpset) -> simpset -> simpset
   val debug_bounds: bool Unsynchronized.ref
   val set_reorient: (theory -> term list -> term -> term -> bool) -> simpset -> simpset
isabelle