| changeset 4122 | f63c283cefaf |
| parent 3847 | d5905b98291f |
| child 4282 | d30fbe129683 |
--- a/src/HOLCF/IOA/meta_theory/Seq.thy Tue Nov 04 14:37:51 1997 +0100 +++ b/src/HOLCF/IOA/meta_theory/Seq.thy Tue Nov 04 14:40:29 1997 +0100 @@ -9,7 +9,7 @@ Seq = HOLCF + -domain 'a seq = nil | "##" (HD::'a) (lazy TL::'a seq) (cinfixr 65) +domain 'a seq = nil | "##" (HD::'a) (lazy TL::'a seq) (infixr 65) consts