| Tue, 14 Mar 2000 11:32:38 +0100 | wenzelm | 'cases' and 'induct' methods; | changeset | files |
| Tue, 14 Mar 2000 11:31:45 +0100 | wenzelm | tuned 'case'; | changeset | files |
| Tue, 14 Mar 2000 11:31:04 +0100 | wenzelm | added 'case' command; | changeset | files |
| Tue, 14 Mar 2000 11:27:38 +0100 | wenzelm | added \NEXT; | changeset | files |