| Tue, 14 Mar 2000 11:33:30 +0100 | wenzelm | tuned comments; | changeset | files |
| Tue, 14 Mar 2000 11:33:14 +0100 | wenzelm | invoke_case: include attributes; | changeset | files |
| Tue, 14 Mar 2000 11:32:38 +0100 | wenzelm | 'cases' and 'induct' methods; | changeset | files |