| Mon, 03 Nov 1997 12:03:13 +0100 | wenzelm | added thy_data.ML; | changeset | files |
| Mon, 03 Nov 1997 11:56:53 +0100 | wenzelm | new implicit simpset mechanism based on Sign.sg anytype data; | changeset | files |
| Mon, 03 Nov 1997 11:56:36 +0100 | wenzelm | new implicit claset mechanism based on Sign.sg anytype data; | changeset | files |