| Sun, 23 Jun 2019 14:44:00 +0200 | introduce Test_Isac_Short.thy | file | diff | annotate |
| Tue, 22 Jan 2019 12:08:32 +0100 | funpack: Test_Isac ok with string constants in programs and tactics | file | diff | annotate |
| Thu, 10 Jan 2019 18:17:48 +0100 | [-Test_Isac] funpack: adapt substitution to type "char string" | file | diff | annotate |
| Thu, 18 Jan 2018 15:25:39 +0100 | comments on test setup | file | diff | annotate |
| Tue, 07 Feb 2017 08:57:42 +0100 | separate structure Model : MODEL | file | diff | annotate |