| 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 |