| Tue, 16 Aug 2005 13:42:31 +0200 | wenzelm | type proof: theory_ref instead of theory (make proof contexts independent entities); | changeset | files |
| Tue, 16 Aug 2005 13:42:30 +0200 | wenzelm | Isar command keyword classification (from Isar/outer_syntax.ML); | changeset | files |
| Tue, 16 Aug 2005 13:42:29 +0200 | wenzelm | added Isar/outer_keyword.ML; | changeset | files |