| Fri, 12 Apr 1996 12:41:59 +0200 | clasohm | add_thydata and get_thydata now take a string as their first argument | changeset | files |
| Fri, 12 Apr 1996 12:41:26 +0200 | clasohm | changed first parameter of add_thydata and get_thydata | changeset | files |
| Thu, 11 Apr 1996 13:41:22 +0200 | clasohm | fixed bug in set_current_thy | changeset | files |
| Thu, 11 Apr 1996 08:30:25 +0200 | nipkow | Added a number of lemmas | changeset | files |