src/Pure/Syntax/mixfix.ML
Sat, 08 Oct 1994 13:45:40 +0100 clasohm changed precedences of _constrain (i.e. "::")
Tue, 04 Oct 1994 13:02:16 +0100 clasohm made major changes to grammar; Isabelle94-1
Fri, 19 Aug 1994 15:35:56 +0200 wenzelm minor cleanings;
Thu, 14 Jul 1994 11:37:08 +0200 wenzelm changed syntax "(| _ : _ |)" to "OFCLASS(_, _)";
Thu, 19 May 1994 16:16:36 +0200 wenzelm support for new style mixfix annotations;
less more (0) tip