src/ZF/AC/AC_Equiv.ML
Thu, 13 Apr 1995 11:40:07 +0200 lcp Deleted lt_oadd_disj1
Fri, 31 Mar 1995 11:39:47 +0200 lcp New example of AC Equivalences by Krzysztof Grabczewski
less more (0) tip