Wed, 06 Aug 1997 11:19:59 +0200 | wenzelm | obsolete! | changeset | files |
Wed, 06 Aug 1997 01:18:31 +0200 | berghofe | Replaced "init_thy_reader" by "set_parser". | changeset | files |
Wed, 06 Aug 1997 01:17:42 +0200 | berghofe | Removed references to "thy_data.ML". | changeset | files |