src/ZF/AC/first.thy
Tue, 25 Jul 1995 17:31:53 +0200 lcp Numerous small improvements by KG and LCP
Thu, 22 Jun 1995 17:13:05 +0200 clasohm removed \...\ inside strings
Thu, 18 May 1995 11:51:23 +0200 lcp Krzysztof Grabczewski's (nearly) complete AC proofs
less more (0) tip