| Thu, 28 Sep 2000 14:36:02 +0200 | wenzelm | support copy option; | changeset | files |
| Thu, 28 Sep 2000 14:35:42 +0200 | wenzelm | ./build -b -m Pure-copied Pure; | changeset | files |
| Thu, 28 Sep 2000 14:35:23 +0200 | wenzelm | only run quick_and_dirty version by default; | changeset | files |
| 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 |