| Thu, 19 Jun 2008 20:48:05 +0200 | wenzelm | Variable.declare_typ; | changeset | files |
| Thu, 19 Jun 2008 20:48:04 +0200 | wenzelm | added declare_typ; | changeset | files |
| Thu, 19 Jun 2008 20:48:03 +0200 | wenzelm | moved add_used to Isar/rule_insts.ML; | changeset | files |
| Thu, 19 Jun 2008 20:48:02 +0200 | wenzelm | export read_typ/cert_typ -- version with regular context operations; | changeset | files |