| 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 |