src/Pure/Syntax/syntax_trans.ML
Mon, 22 Aug 2011 17:10:22 +0200 wenzelm old-style numbered structure index is legacy feature (hardly ever used now);
Wed, 17 Aug 2011 18:05:31 +0200 wenzelm modernized signature of Term.absfree/absdummy;
Thu, 09 Jun 2011 17:51:49 +0200 wenzelm simplified Name.variant -- discontinued builtin fold_map;
Tue, 26 Apr 2011 21:05:52 +0200 wenzelm clarified auxiliary structure Lexicon.Syntax;
Fri, 08 Apr 2011 15:02:11 +0200 wenzelm discontinued special treatment of structure Syntax_Ext (formerly Syn_Ext);
Fri, 08 Apr 2011 13:31:16 +0200 wenzelm explicit structure Syntax_Trans;
less more (0) tip