| Thu, 28 Sep 2000 14:34:49 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 28 Sep 2000 13:12:23 +0200 | paulson | deleted card_0_empty_iff because it is the same as card_0_eq; | changeset | files |
| Wed, 27 Sep 2000 19:51:11 +0200 | wenzelm | THIS_IS_ISABELLE_BUILD; | changeset | files |
| Wed, 27 Sep 2000 19:39:50 +0200 | wenzelm | tuned; | changeset | files |