| Wed, 17 Apr 1996 11:46:10 +0200 | oheimb | *** empty log message *** | changeset | files |
| 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 |
| Tue, 09 Apr 1996 12:12:27 +0200 | berghofe | select_match now sorts list of matching theorems according to the | changeset | files |