src/Pure/Syntax/simple_syntax.ML
Fri, 21 Mar 2014 20:33:56 +0100 wenzelm more qualified names;
Sat, 14 Jan 2012 16:58:29 +0100 wenzelm tuned;
Thu, 07 Apr 2011 21:23:57 +0200 wenzelm constant =?= no longer exists (cf. 8c09e1fa24a7);
Mon, 02 Nov 2009 20:34:59 +0100 wenzelm modernized structure Simple_Syntax;
Wed, 18 Mar 2009 21:55:38 +0100 wenzelm de-camelized Symbol_Pos;
Mon, 19 Jan 2009 20:05:41 +0100 wenzelm removed Ids;
less more (0) -10 -6 tip