| Mon, 25 Sep 2023 18:45:41 +0200 | wenzelm | clarified signature: avoid association with potentially dangerous Exn.capture; | changeset | files |
| Mon, 25 Sep 2023 17:37:52 +0200 | wenzelm | more robust: catch/finally part is uninterruptible; | changeset | files |
| Mon, 25 Sep 2023 17:37:12 +0200 | wenzelm | more position information, e.g. for warning about fn-pattern; | changeset | files |
| Mon, 25 Sep 2023 16:55:11 +0200 | wenzelm | unused; | changeset | files |
| Mon, 25 Sep 2023 16:17:43 +0200 | wenzelm | more general ML_Antiquotation.special_form; | changeset | files |
| Wed, 27 Sep 2023 13:34:15 +0100 | paulson | Importing or moving a few more useful theorems | changeset | files |
| Mon, 25 Sep 2023 17:06:11 +0100 | paulson | merged | changeset | files |
| Mon, 25 Sep 2023 17:06:05 +0100 | paulson | A few new theorems | changeset | files |