| Mon, 13 Aug 2007 04:35:41 +0200 | kleing | new attribute [rotated] | changeset | files |
| Mon, 13 Aug 2007 00:23:43 +0200 | wenzelm | tuned comments; | changeset | files |
| Mon, 13 Aug 2007 00:17:57 +0200 | wenzelm | Simple syntax for types and terms --- for bootstrapping Pure. | changeset | files |
| Mon, 13 Aug 2007 00:17:54 +0200 | wenzelm | added Syntax/simple_syntax.ML; | changeset | files |