src/ZF/AC/AC1_WO2.ML
Thu, 18 May 1995 11:51:23 +0200 lcp Krzysztof Grabczewski's (nearly) complete AC proofs
less more (0) tip