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 |