src/LCF/lcf.thy
changeset 283 76caebd18756
parent 0 a5a9c433f639
     1.1 --- a/src/LCF/lcf.thy	Thu Mar 17 13:54:50 1994 +0100
     1.2 +++ b/src/LCF/lcf.thy	Thu Mar 17 17:48:37 1994 +0100
     1.3 @@ -12,12 +12,15 @@
     1.4  
     1.5  default cpo
     1.6  
     1.7 -types tr,void 0
     1.8 -      "*" 2 (infixl 6)
     1.9 -      "+" 2 (infixl 5)
    1.10 +types
    1.11 + tr
    1.12 + void
    1.13 + ('a,'b) "*"		(infixl 6)
    1.14 + ('a,'b) "+"		(infixl 5)
    1.15  
    1.16 -arities fun, "*", "+" :: (cpo,cpo)cpo
    1.17 -        tr,void :: cpo
    1.18 +arities
    1.19 + fun, "*", "+" :: (cpo,cpo)cpo
    1.20 + tr,void       :: cpo
    1.21  
    1.22  consts
    1.23   UU	:: "'a"