--- a/src/HOL/MiniML/Type.thy Fri Dec 01 13:54:27 1995 +0100
+++ b/src/HOL/MiniML/Type.thy Fri Dec 01 14:17:50 1995 +0100
@@ -18,7 +18,7 @@
(* type variable substitution *)
types
- subst = "nat => type_expr"
+ subst = nat => type_expr
arities
type_expr::type_struct