| Thu, 07 Sep 2000 21:21:07 +0200 | wenzelm | tuned ML code (the_context, bind_thms(s)); | changeset | files |
| Thu, 07 Sep 2000 21:18:18 +0200 | wenzelm | HOL: qed_spec_mp now also removes bounded ALL; | changeset | files |
| Thu, 07 Sep 2000 21:12:49 +0200 | wenzelm | tuned ML code (the_context, bind_thms(s)); | changeset | files |
| Thu, 07 Sep 2000 21:10:11 +0200 | wenzelm | updated attribute names; | changeset | files |
| Thu, 07 Sep 2000 21:06:55 +0200 | wenzelm | improved att names; | changeset | files |
| 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 |