| Sat, 27 Oct 2001 00:00:55 +0200 | wenzelm | removed "more" class; | changeset | files |
| Sat, 27 Oct 2001 00:00:38 +0200 | wenzelm | moved product cases/induct to theory Datatype; | changeset | files |
| Sat, 27 Oct 2001 00:00:05 +0200 | wenzelm | made new-style theory; | changeset | files |