Wed, 06 Aug 1997 11:57:20 +0200 | wenzelm | tuned comments; | changeset | files |
Wed, 06 Aug 1997 11:56:31 +0200 | wenzelm | oops; | changeset | files |
Wed, 06 Aug 1997 11:52:16 +0200 | wenzelm | eliminated ThySynData and ThySynFun; | changeset | files |
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 |
Wed, 06 Aug 1997 01:13:46 +0200 | berghofe | Moved some functions which used to be part of thy_data.ML | changeset | files |