| Sun, 06 Jan 2019 15:04:34 +0100 | wenzelm | isabelle update -u path_cartouches; | file | diff | annotate |
| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Thu, 15 Feb 2018 12:11:00 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Mon, 11 Jul 2016 09:57:20 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 23 Feb 2016 16:25:08 +0100 | nipkow | more canonical names | file | diff | annotate |
| Sat, 18 Jul 2015 22:58:50 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Wed, 29 Oct 2014 15:15:17 +0100 | wenzelm | modernized setup; | file | diff | annotate |
| Mon, 17 Feb 2014 17:49:29 +0100 | wenzelm | more informative error; | file | diff | annotate |
| Thu, 16 May 2013 10:08:28 +0200 | Andreas Lochbihler | setup for set membership as a predicate for code_pred | file | diff | annotate |
| Thu, 14 Feb 2013 15:27:10 +0100 | haftmann | reform of predicate compiler / quickcheck theories: | file | diff | annotate |
| Mon, 12 Nov 2012 23:24:40 +0100 | haftmann | tuned import order | file | diff | annotate |