| Wed, 22 Mar 2006 11:54:54 +0100 | webertj | comment for conjI added | changeset | files |
| Wed, 22 Mar 2006 11:14:58 +0100 | nipkow | translations -> abbreviations (a cool feature) | changeset | files |
| Tue, 21 Mar 2006 15:38:53 +0100 | wenzelm | fixed example; | changeset | files |