changeset 35128 | c1ad622e90e4 |
parent 27239 | f2f42f9fa09d |
child 35762 | af3ff2ba4c54 |
--- a/src/LCF/LCF.thy Mon Feb 15 14:04:06 2010 +0100 +++ b/src/LCF/LCF.thy Mon Feb 15 15:50:41 2010 +0100 @@ -19,8 +19,8 @@ typedecl tr typedecl void -typedecl ('a,'b) "*" (infixl 6) -typedecl ('a,'b) "+" (infixl 5) +typedecl ('a,'b) "*" (infixl "*" 6) +typedecl ('a,'b) "+" (infixl "+" 5) arities "fun" :: (cpo, cpo) cpo