| 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 |
| Fri, 01 Aug 1997 09:39:28 +0200 | nipkow | Added {x.x=a} = a to !simpset. | changeset | files |