Tue, 01 Sep 1998 15:05:36 +0200 | paulson | Replaced Suc_diff_n by Suc_diff_le | changeset | files |
Tue, 01 Sep 1998 15:04:59 +0200 | paulson | new theory Induct/FoldSet | changeset | files |
Tue, 01 Sep 1998 15:04:28 +0200 | paulson | New law card_Un_Int. Removed card_insert from simpset | changeset | files |