| Thu, 20 Aug 1998 09:25:59 +0200 | paulson | Now qed_spec_mp respects locales, by calling ml_store_thm | changeset | files |
| Wed, 19 Aug 1998 17:05:00 +0200 | wenzelm | fixed param; | changeset | files |
| Wed, 19 Aug 1998 17:04:21 +0200 | wenzelm | assume: adjust_maxidx; | changeset | files |
| Wed, 19 Aug 1998 10:49:30 +0200 | paulson | new version, more resistant to PROOF FAILED. Now it distinguishes between | changeset | files |
| Wed, 19 Aug 1998 10:37:56 +0200 | paulson | The warning "Rewrite rule from different theory" is ALWAYS printed, even if | changeset | files |
| Wed, 19 Aug 1998 10:37:07 +0200 | paulson | new theorem zero_less_diff | changeset | files |
| Wed, 19 Aug 1998 10:34:31 +0200 | paulson | Misc changes | changeset | files |