| Thu, 14 May 2020 13:33:47 +0200 | rename Specification -> References, contiued | file | diff | annotate |
| Wed, 15 Apr 2020 11:37:43 +0200 | cleanup | file | diff | annotate |
| Fri, 17 Jan 2020 13:14:11 +0100 | lucin: introduce Calc.T and Program.T | 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 |
| Mon, 12 Dec 2016 18:08:13 +0100 | added structure Chead : CALC_HEAD | file | diff | annotate |
| Fri, 31 Aug 2012 19:19:07 +0200 | cadgme finals - outstanding commit | file | diff | annotate |
| Thu, 21 Jun 2012 20:48:36 +0200 | tuned | file | diff | annotate |
| Wed, 20 Jun 2012 11:14:04 +0200 | Added Examples for jrocnik's presentation at CADGME | file | diff | annotate |