Fri, 16 Apr 2021 22:13:43 +0200 | more explicit components; | file | diff | annotate |
Wed, 07 Oct 2020 09:31:10 +0200 | Isabelle2019->20: adapt to new session requirements continued | file | diff | annotate |
Fri, 13 Sep 2013 18:57:11 +0200 | Test_Theory without session Isac has limitations | file | diff | annotate |