| Thu, 07 Sep 2000 20:56:04 +0200 | wenzelm | tuned att names / msgs; | changeset | files |
| Thu, 07 Sep 2000 20:55:18 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 07 Sep 2000 20:53:50 +0200 | wenzelm | linorder_cases; | changeset | files |
| Thu, 07 Sep 2000 20:53:02 +0200 | wenzelm | chop_nonempty: accomodate new qed_spec_mp; | changeset | files |
| Thu, 07 Sep 2000 20:52:02 +0200 | wenzelm | added linorder_cases; | changeset | files |
| Thu, 07 Sep 2000 20:51:31 +0200 | wenzelm | eliminated rulify setup (now in Provers/rulify.ML); | changeset | files |
| Thu, 07 Sep 2000 20:51:07 +0200 | wenzelm | tuned msg; | changeset | files |