equal
deleted
inserted
replaced
48 translations |
48 translations |
49 "JN x:A. B" == "JOIN(A, (%x. B))" |
49 "JN x:A. B" == "JOIN(A, (%x. B))" |
50 "JN x y. B" == "JN x. JN y. B" |
50 "JN x y. B" == "JN x. JN y. B" |
51 "JN x. B" == "JOIN(state,(%x. B))" |
51 "JN x. B" == "JOIN(state,(%x. B))" |
52 |
52 |
53 syntax (symbols) |
53 syntax (xsymbols) |
54 SKIP :: i ("\\<bottom>") |
54 SKIP :: i ("\\<bottom>") |
55 "op Join" :: [i, i] => i (infixl "\\<squnion>" 65) |
55 "op Join" :: [i, i] => i (infixl "\\<squnion>" 65) |
56 "@JOIN1" :: [pttrns, i] => i ("(3\\<Squnion> _./ _)" 10) |
56 "@JOIN1" :: [pttrns, i] => i ("(3\\<Squnion> _./ _)" 10) |
57 "@JOIN" :: [pttrn, i, i] => i ("(3\\<Squnion> _:_./ _)" 10) |
57 "@JOIN" :: [pttrn, i, i] => i ("(3\\<Squnion> _:_./ _)" 10) |
58 |
58 |