| Wed, 09 Jul 1997 17:00:34 +0200 | wenzelm | removed obsolete init_pps and init_thy_reader; | changeset | files |
| Wed, 09 Jul 1997 16:54:17 +0200 | wenzelm | improved type checking errors; | changeset | files |
| Wed, 09 Jul 1997 16:53:53 +0200 | wenzelm | removed init_pps; | changeset | files |
| Wed, 09 Jul 1997 16:52:51 +0200 | wenzelm | removed init_database; | changeset | files |