Mon, 22 May 1995 15:58:57 +0200 | nipkow | Added Park induction to Lfp. | changeset | files |
Mon, 22 May 1995 14:12:40 +0200 | nipkow | Polished the presentation making it completely definitional. | changeset | files |
Thu, 18 May 1995 11:51:23 +0200 | lcp | Krzysztof Grabczewski's (nearly) complete AC proofs | changeset | files |