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 |