changeset 1474 | 3f7d67927fe2 |
parent 999 | 9bf3816298d0 |
child 3837 | d7f033c74b38 |
--- a/src/CCL/Type.thy Mon Feb 05 13:44:28 1996 +0100 +++ b/src/CCL/Type.thy Mon Feb 05 14:44:09 1996 +0100 @@ -28,10 +28,10 @@ SPLIT :: "[i, [i, i] => i set] => i set" "@Pi" :: "[idt, i set, i set] => i set" ("(3PROD _:_./ _)" - [0,0,60] 60) + [0,0,60] 60) "@Sigma" :: "[idt, i set, i set] => i set" ("(3SUM _:_./ _)" - [0,0,60] 60) + [0,0,60] 60) "@->" :: "[i set, i set] => i set" ("(_ ->/ _)" [54, 53] 53) "@*" :: "[i set, i set] => i set" ("(_ */ _)" [56, 55] 55)