| 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 |
| Mon, 29 May 1995 15:04:27 +0200 | clasohm | changed error message in thms_containing | changeset | files |
| Mon, 29 May 1995 14:12:48 +0200 | clasohm | replaced "All" by "all" in ThmdbFUN's ignore parameter | changeset | files |
| Mon, 29 May 1995 13:55:06 +0200 | clasohm | added theorem database which contains axioms and theorems indexed by the | changeset | files |