wenzelm [Fri, 02 Jan 2009 15:44:33 +0100] rev 29310
added type 'a parser, simplified signature;
moved properties to value_parse.ML;
moved props_text to isar_syn.ML;
wenzelm [Fri, 02 Jan 2009 15:44:32 +0100] rev 29309
added props_text (from outer_parse.ML);
wenzelm [Fri, 02 Jan 2009 15:44:32 +0100] rev 29308
added Isar/value_parse.ML: Outer syntax parsers for basic ML values.
wenzelm [Fri, 02 Jan 2009 15:44:32 +0100] rev 29307
added id;
tuned;
wenzelm [Fri, 02 Jan 2009 11:31:40 +0100] rev 29306
MetaSimplifier.SIMPLIFIER;
wenzelm [Fri, 02 Jan 2009 11:31:07 +0100] rev 29305
fixed assumption proof;
wenzelm [Fri, 02 Jan 2009 00:21:59 +0100] rev 29304
tuned header and description of boot files;
wenzelm [Thu, 01 Jan 2009 23:31:59 +0100] rev 29303
merged;
wenzelm [Thu, 01 Jan 2009 23:31:49 +0100] rev 29302
normalized some ML type/val aliases;
wenzelm [Thu, 01 Jan 2009 22:57:42 +0100] rev 29301
assumption/close: discontinued implicit prems;