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