| Thu, 19 Oct 2023 11:30:16 +0200 | wenzelm | clarified signature: Named_Target.setup works both for global and local theory; | changeset | files |
| Wed, 18 Oct 2023 22:09:25 +0200 | wenzelm | clarified signature; | changeset | files |
| Wed, 18 Oct 2023 16:29:24 +0200 | wenzelm | clarified signature: more concise simproc setup in ML; | changeset | files |
| Wed, 18 Oct 2023 15:13:52 +0200 | wenzelm | clarified signature: more concise variations on implicit theory setup; | changeset | files |
| Tue, 17 Oct 2023 22:29:12 +0200 | wenzelm | clarified simproc_setup (passive); | changeset | files |
| Tue, 17 Oct 2023 22:25:48 +0200 | wenzelm | clarified 'simproc_setup'; | changeset | files |
| Tue, 17 Oct 2023 18:55:29 +0200 | wenzelm | support for "simproc_setup ... (passive)": allow to define simprocs in Isar that are not added to the simpset (yet); | changeset | files |