| Tue, 05 Aug 1997 16:22:17 +0200 | nipkow | Added example mapf which requires a special congruence rule. | changeset | files |
| Tue, 05 Aug 1997 16:21:45 +0200 | nipkow | Added function `replicate' and lemmas map_cong and set_replicate. | changeset | files |
| Tue, 05 Aug 1997 16:14:23 +0200 | wenzelm | cleaned up; | changeset | files |
| Tue, 05 Aug 1997 10:50:24 +0200 | paulson | Corrected a comment | changeset | files |
| Mon, 04 Aug 1997 11:50:35 +0200 | nipkow | Added a take/dropWhile lemma. | changeset | files |
| 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 |