Thu, 10 Sep 1998 17:17:22 +0200 | paulson | Adds order_refl, order_less_irrefl as simps, not as Iffs, to avoid PROOF FAILED | changeset | files |
Thu, 10 Sep 1998 17:15:48 +0200 | paulson | in_set_butlast_appendI supersedes in_set_butlast_appendI1,2 | changeset | files |