| Wed, 03 Mar 2010 00:32:14 +0100 | wenzelm | adapted to authentic syntax -- actual types are verbatim; | changeset | files |
| Wed, 03 Mar 2010 00:28:22 +0100 | wenzelm | authentic syntax for classes and type constructors; | changeset | files |
| Wed, 03 Mar 2010 00:00:44 +0100 | wenzelm | more systematic mark/unmark operations; | changeset | files |