| Fri, 01 Aug 1997 10:59:19 +0200 | nipkow | Generalized nth_drop (Conny). | changeset | files |
| Fri, 01 Aug 1997 09:42:19 +0200 | nipkow | Corected bug in def of dropWhile (also present in Haskell lib!) | changeset | files |
| Fri, 01 Aug 1997 09:41:38 +0200 | nipkow | Had to remove {x.x=a} = a from !simpset in one proof. | changeset | files |