src/Pure/Syntax/simple_syntax.ML
Wed, 18 Mar 2009 21:55:38 +0100 wenzelm de-camelized Symbol_Pos;
Mon, 19 Jan 2009 20:05:41 +0100 wenzelm removed Ids;
Thu, 20 Nov 2008 00:03:47 +0100 wenzelm Pure syntax: more coherent treatment of aprop, permanent TERM and &&&;
less more (0) -10 -3 tip