| Thu, 06 Apr 1995 10:48:11 +0200 | lcp | Added Id: line | changeset | files |
| Sun, 02 Apr 1995 10:43:59 +0200 | nipkow | generalized map (%x.x) xs = xs to map (%x.x) = (%xs.xs) | changeset | files |
| Fri, 31 Mar 1995 15:08:49 +0200 | wenzelm | replaced 'arities' by 'instance'; | changeset | files |
| Fri, 31 Mar 1995 12:22:16 +0200 | lcp | Simplified using pattern replacements. Added the AC example. | changeset | files |
| Fri, 31 Mar 1995 11:55:29 +0200 | lcp | New example of AC Equivalences by Krzysztof Grabczewski | changeset | files |
| Fri, 31 Mar 1995 11:39:47 +0200 | lcp | New example of AC Equivalences by Krzysztof Grabczewski | changeset | files |
| Fri, 31 Mar 1995 11:08:35 +0200 | lcp | Tried the new addss in many proofs, and tidied others involving simplification. | changeset | files |