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 |
Fri, 24 Aug 2018 13:05:00 +0200 | Isabelle2017->18: for Test_Isac.thy adapt new form of imports | file | diff | annotate |
Thu, 08 Mar 2018 07:28:17 +0100 | TermC: push struct to tests, 3 broken and collected in Test_Isac. | file | diff | annotate |
Tue, 06 Feb 2018 16:55:43 +0100 | Isabelle2015->17: syntax handling has changed | file | diff | annotate |
Tue, 12 Jan 2016 14:40:55 +0100 | trials on physical and technical units | file | diff | annotate |