| Mon, 03 Nov 1997 12:09:20 +0100 | wenzelm | adapted to new implicit claset; | changeset | files |
| Mon, 03 Nov 1997 12:07:13 +0100 | wenzelm | fixed thy dependencies; | changeset | files |
| Mon, 03 Nov 1997 12:05:42 +0100 | wenzelm | aded thy_data; | changeset | files |
| Mon, 03 Nov 1997 12:04:38 +0100 | wenzelm | HOL theory data. | changeset | files |
| 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 |