--- a/src/HOL/W0/Type.thy Fri Oct 10 18:37:49 1997 +0200
+++ b/src/HOL/W0/Type.thy Fri Oct 10 19:02:28 1997 +0200
@@ -30,7 +30,7 @@
(* identity *)
constdefs
id_subst :: subst
- "id_subst == (%n.TVar n)"
+ "id_subst == (%n. TVar n)"
(* extension of substitution to type structures *)
consts