changeset 434 | 89d45187f04d |
parent 419 | 7c7e71be40c8 |
child 445 | 7b6d8b8d4580 |
--- a/src/ZF/ex/Bin.ML Tue Jun 21 11:55:36 1994 +0200 +++ b/src/ZF/ex/Bin.ML Tue Jun 21 16:26:34 1994 +0200 @@ -14,7 +14,8 @@ [(["Plus", "Minus"], "i"), (["op $$"], "[i,i]=>i")])]; val rec_styp = "i"; - val ext = Some (Syntax.simple_sext [OldMixfix.Infixl("$$", "[i,i] => i", 60)]); + val ext = Some (Syntax.simple_sext + [OldMixfix.Infixl("$$", "[i,i] => i", 60)]); val sintrs = ["Plus : bin", "Minus : bin",