| Thu, 02 Oct 2008 17:18:36 +0200 | haftmann | added partiality section | changeset | files |
| Thu, 02 Oct 2008 17:18:22 +0200 | haftmann | corrected class antiquotation | changeset | files |
| Thu, 02 Oct 2008 14:22:45 +0200 | wenzelm | max_threads_value always 1 for dummy version; | changeset | files |
| 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 |