| 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 |