--- a/src/HOLCF/One.thy Wed Mar 03 00:32:14 2010 +0100
+++ b/src/HOLCF/One.thy Wed Mar 03 00:33:02 2010 +0100
@@ -10,7 +10,7 @@
types one = "unit lift"
translations
- "one" <= (type) "unit lift"
+ (type) "one" <= (type) "unit lift"
definition
ONE :: "one"