| Thu, 02 Oct 2008 14:22:44 +0200 | wenzelm | simplified Exn.EXCEPTIONS, flatten nested occurrences; | changeset | files |
| Thu, 02 Oct 2008 14:22:40 +0200 | wenzelm | simplified Exn.EXCEPTIONS; | changeset | files |
| Thu, 02 Oct 2008 14:22:36 +0200 | wenzelm | major cleanup of hoare_tac.ML: just one copy for Hoare.thy and HoareAbort.thy (only 1 line different), refrain from inspecting the main goal, proper context; | changeset | files |
| Thu, 02 Oct 2008 13:07:33 +0200 | haftmann | tuned | changeset | files |