| Fri, 02 Jan 2009 15:44:33 +0100 | wenzelm | added type 'a parser, simplified signature; | changeset | files |
| Fri, 02 Jan 2009 15:44:32 +0100 | wenzelm | added props_text (from outer_parse.ML); | changeset | files |
| Fri, 02 Jan 2009 15:44:32 +0100 | wenzelm | added Isar/value_parse.ML: Outer syntax parsers for basic ML values. | changeset | files |
| Fri, 02 Jan 2009 15:44:32 +0100 | wenzelm | added id; | changeset | files |
| Fri, 02 Jan 2009 11:31:40 +0100 | wenzelm | MetaSimplifier.SIMPLIFIER; | changeset | files |
| Fri, 02 Jan 2009 11:31:07 +0100 | wenzelm | fixed assumption proof; | changeset | files |
| Fri, 02 Jan 2009 00:21:59 +0100 | wenzelm | tuned header and description of boot files; | changeset | files |