| Thu, 19 Jun 2008 20:48:06 +0200 | wenzelm | private add_used (from drule.ML); | changeset | files |
| 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 |
| Thu, 19 Jun 2008 20:48:01 +0200 | wenzelm | export read_typ/cert_typ -- version with regular context operations; | changeset | files |
| Thu, 19 Jun 2008 20:48:00 +0200 | wenzelm | tuned signature; | changeset | files |