| Thu, 09 Jun 2005 12:03:28 +0200 | wenzelm | added type NameSpace.table with basic operations; | changeset | files |
| Thu, 09 Jun 2005 12:03:27 +0200 | wenzelm | renamed cert_typ_raw to cert_typ_abbrev; | changeset | files |
| Thu, 09 Jun 2005 12:03:26 +0200 | wenzelm | axioms and oracles: NameSpace.table; | changeset | files |
| Thu, 09 Jun 2005 12:03:25 +0200 | wenzelm | map_typ and map_term no longer global; | changeset | files |
| Thu, 09 Jun 2005 12:03:24 +0200 | wenzelm | Major cleanup: | changeset | files |
| Thu, 09 Jun 2005 12:03:23 +0200 | wenzelm | thms_of no longer global; | changeset | files |
| Thu, 09 Jun 2005 12:03:22 +0200 | wenzelm | NameSpace.extern_table; | changeset | files |