| Sun, 18 Apr 2021 23:37:59 +0200 | conditional compilation via system option "isac_test" and antiquotation \<^isac_test>CARTOUCHE: | file | diff | annotate |
| Wed, 03 Feb 2021 16:39:44 +0100 | Isac's MethodC not shadowing Isabelle's Method | file | diff | annotate |
| Wed, 13 May 2020 16:10:22 +0200 | shift code from Specify to Problem, Method, Test_Tool | file | diff | annotate |
| Tue, 12 May 2020 17:42:29 +0200 | shift code from struct.Specify to appropriate locations | file | diff | annotate |
| Wed, 22 Apr 2020 14:36:27 +0200 | use "Spec", "Problem", "Method" for renaming identifiers | file | diff | annotate |
| Tue, 21 Apr 2020 10:53:04 +0200 | derive Method.T from Meth_Def.T, drop funs and types used by Know_Store | file | diff | annotate |
| Tue, 21 Apr 2020 10:13:30 +0200 | derive Problem from Probl_Def, drop funs and types used by Know_Store | file | diff | annotate |