src/HOLCF/One.thy
changeset 35431 8758fe1fc9f8
parent 31076 99fe356cbbc2
child 35783 38538bfe9ca6
     1.1 --- a/src/HOLCF/One.thy	Wed Mar 03 00:32:14 2010 +0100
     1.2 +++ b/src/HOLCF/One.thy	Wed Mar 03 00:33:02 2010 +0100
     1.3 @@ -10,7 +10,7 @@
     1.4  
     1.5  types one = "unit lift"
     1.6  translations
     1.7 -  "one" <= (type) "unit lift" 
     1.8 +  (type) "one" <= (type) "unit lift" 
     1.9  
    1.10  definition
    1.11    ONE :: "one"