| Tue, 05 Aug 1997 16:43:54 +0200 | wenzelm | cleaned up; | changeset | files |
| 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 |