src/HOL/Predicate_Compile.thy
Sat, 18 Jul 2015 22:58:50 +0200 wenzelm isabelle update_cartouches;
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Wed, 29 Oct 2014 15:15:17 +0100 wenzelm modernized setup;
Mon, 17 Feb 2014 17:49:29 +0100 wenzelm more informative error;
Thu, 16 May 2013 10:08:28 +0200 Andreas Lochbihler setup for set membership as a predicate for code_pred
Thu, 14 Feb 2013 15:27:10 +0100 haftmann reform of predicate compiler / quickcheck theories:
Mon, 12 Nov 2012 23:24:40 +0100 haftmann tuned import order
less more (0) -10 -7 tip