| Mon, 20 Oct 1997 10:38:16 +0200 | wenzelm | local section; | changeset | files |
| Sat, 18 Oct 1997 13:23:02 +0200 | nipkow | addsplits | changeset | files |
| Fri, 17 Oct 1997 19:07:56 +0200 | wenzelm | adapted to qualified names; | changeset | files |
| Fri, 17 Oct 1997 18:19:14 +0200 | wenzelm | no longer tries bogus eta-contract involving aprops; | changeset | files |
| Fri, 17 Oct 1997 18:14:48 +0200 | wenzelm | adapted to qualified names; | changeset | files |
| Fri, 17 Oct 1997 18:03:46 +0200 | wenzelm | fixed RAW target; | changeset | files |
| Fri, 17 Oct 1997 17:42:39 +0200 | wenzelm | (co) inductive / datatype package adapted to qualified names; | changeset | files |