Thu, 13 Jul 2000 23:09:03 +0200 | wenzelm | removed duplicate Compl_atMost; | changeset | files |
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 |