| Tue, 20 Sep 2005 13:56:01 +0200 | wenzelm | tuned proofs; | changeset | files |
| Tue, 20 Sep 2005 13:33:27 +0200 | chaieb | The simpset of the actual theory is take, in order to handle rings defined after the method | changeset | files |
| Tue, 20 Sep 2005 13:17:55 +0200 | paulson | further tidying; killing of old Watcher loops | changeset | files |
| Tue, 20 Sep 2005 13:17:55 +0200 | nipkow | added a number of lemmas | changeset | files |