| Fri, 20 Oct 2023 11:03:09 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 19 Oct 2023 21:58:47 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 19 Oct 2023 21:38:09 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 19 Oct 2023 17:06:39 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 19 Oct 2023 16:31:17 +0200 | wenzelm | clarified syntax and order of parameters; | changeset | files |
| 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 |