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 whitespace
authorhaftmann
Sun, 15 Nov 2015 10:52:51 +0100
changeset 61676 872b2ee75359
parent 61675 0c31e1de164c
child 61677 a97232cf1981
tuned whitespace
src/Pure/Isar/interpretation.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/interpretation.ML	Sun Nov 15 10:51:22 2015 +0100
+++ b/src/Pure/Isar/interpretation.ML	Sun Nov 15 10:52:51 2015 +0100
@@ -18,7 +18,7 @@
   val global_interpretation: Expression.expression_i ->
     term defines -> term rewrites -> theory -> Proof.state
   val global_sublocale: string -> Expression.expression_i ->
-    term defines -> term rewrites ->theory -> Proof.state
+    term defines -> term rewrites -> theory -> Proof.state
   val global_sublocale_cmd: xstring * Position.T -> Expression.expression ->
     string defines -> string rewrites -> theory -> Proof.state
   val sublocale: Expression.expression_i ->
isabelle