Fri, 20 Feb 2009 21:29:24 +0100 | haftmann | also consider superclasses properly | changeset | files |
Fri, 20 Feb 2009 20:51:06 +0100 | nipkow | merged | changeset | files |
Fri, 20 Feb 2009 20:50:49 +0100 | nipkow | removed subsumed lemmas | changeset | files |