| Thu, 01 Jun 1995 13:25:06 +0200 | clasohm | commented thms_unifying_with out; placed thm_db into signature again; | changeset | files |
| Thu, 01 Jun 1995 12:31:52 +0200 | nipkow | Added dependence on Thy/thm_database.ML | changeset | files |
| Wed, 31 May 1995 10:46:46 +0200 | mueller | *** empty log message *** | changeset | files |
| Wed, 31 May 1995 10:45:00 +0200 | mueller | polish | changeset | files |
| Tue, 30 May 1995 11:57:27 +0200 | clasohm | removed thm_num and thm_db from signature | changeset | files |
| Tue, 30 May 1995 11:28:13 +0200 | clasohm | fixed bug in thms_containing; changed error/warning messages; | changeset | files |
| Tue, 30 May 1995 11:02:50 +0200 | clasohm | fixed bug: ThySynFun really shouldn't be deleted | changeset | files |