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