| Thu, 07 Sep 2000 20:59:37 +0200 | wenzelm | use Rulify.rulify_no_asm; | changeset | files |
| Thu, 07 Sep 2000 20:58:54 +0200 | wenzelm | print rule: priority; | changeset | files |
| Thu, 07 Sep 2000 20:57:57 +0200 | wenzelm | improved att names / msgs; | changeset | files |
| Thu, 07 Sep 2000 20:57:22 +0200 | wenzelm | avoid handle_error (better msgs); | changeset | files |
| Thu, 07 Sep 2000 20:56:58 +0200 | wenzelm | tuned msgs; | changeset | files |
| 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 |