Sun, 09 Oct 2022 07:44:22 +0200 | eliminate term2str in test/* | file | diff | annotate |
Mon, 26 Aug 2019 17:40:27 +0200 | rename Isac.thy --> Isac_Knowledge.thy | file | diff | annotate |
Wed, 21 Nov 2018 12:32:54 +0100 | update to new Isabelle conventions: {*...*} to \<open>...\<close> | file | diff | annotate |
Tue, 28 Aug 2018 13:34:22 +0200 | Isabelle2017->18: adapt to more rigorous session handling | file | diff | annotate |
Wed, 07 Feb 2018 11:21:54 +0100 | Isabelle2015->17: header in thys dropped | file | diff | annotate |
Fri, 15 Jul 2011 10:16:29 +0200 | finished ml_quickstart | file | diff | annotate |