Fri, 17 Oct 1997 10:58:44 +0200 | paulson | Better simplification eliminates a command from proof of psubset_card | changeset | files |
Fri, 17 Oct 1997 10:57:48 +0200 | paulson | New simprules imp_disj1,2 and some comments | changeset | files |
Fri, 17 Oct 1997 09:04:02 +0200 | nipkow | Added image_eqI to simpset. | changeset | files |