| Wed, 01 Feb 2006 01:05:17 +0100 | urbanc | - renamed some lemmas (some had names coming from ancient | changeset | files |
| Wed, 01 Feb 2006 01:03:41 +0100 | urbanc | added all constructors from PhD | changeset | files |
| Tue, 31 Jan 2006 18:19:36 +0100 | wenzelm | axiomatization: retrict parameters to occurrences in specs; | changeset | files |
| Tue, 31 Jan 2006 18:19:35 +0100 | wenzelm | improved comments; | changeset | files |