| Thu, 13 Jul 2000 23:08:42 +0200 | wenzelm | fixed compose decl; | changeset | files |
| Thu, 13 Jul 2000 23:08:20 +0200 | wenzelm | defs: (overloaded) option; | changeset | files |
| Thu, 13 Jul 2000 23:07:56 +0200 | wenzelm | method cases/induct: (opaque) option; | changeset | files |
| Thu, 13 Jul 2000 23:07:10 +0200 | wenzelm | defs (overloaded); | changeset | files |