| 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 |
| Thu, 07 Sep 2000 20:50:33 +0200 | wenzelm | updated rulify setup; | changeset | files |
| Thu, 07 Sep 2000 20:50:11 +0200 | wenzelm | added Provers/rulify; | changeset | files |
| Thu, 07 Sep 2000 20:49:39 +0200 | wenzelm | removed rulify_attrib_setup; | changeset | files |
| Thu, 07 Sep 2000 20:49:19 +0200 | wenzelm | rulify setup; | changeset | files |
| Thu, 07 Sep 2000 20:48:51 +0200 | wenzelm | added Provers/rulify.ML; | changeset | files |