--- 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 ->