# HG changeset patch
# User haftmann
# Date 1449080095 -3600
# Node ID acc532690ee1961d43254a25c74150eff65c3ec2
# Parent  a20048c788913580c2c01df4125032cdb730aa52
tuned whitespace

diff -r a20048c78891 -r acc532690ee1 src/Pure/Isar/interpretation.ML
--- a/src/Pure/Isar/interpretation.ML	Tue Dec 01 22:24:37 2015 +0100
+++ b/src/Pure/Isar/interpretation.ML	Wed Dec 02 19:14:55 2015 +0100
@@ -14,7 +14,7 @@
   val interpret: Expression.expression_i -> term rewrites -> bool -> Proof.state -> Proof.state
   val interpret_cmd: Expression.expression -> string rewrites -> bool -> Proof.state -> Proof.state
 
-  (*algebraic-view*)
+  (*algebraic view*)
   val global_interpretation: Expression.expression_i ->
     term defines -> term rewrites -> theory -> Proof.state
   val global_sublocale: string -> Expression.expression_i ->