testboard: Changelog

boehmes [Fri, 13 Nov 2009 15:02:51 +0100] rev 33660

extended theory simpset to simplify non-linear problems

wenzelm [Fri, 13 Nov 2009 15:38:45 +0100] rev 33659

more "anti_sym" -> "antisym" (cf. a4179bf442d1);

nipkow [Fri, 13 Nov 2009 14:14:16 +0100] rev 33658

merged

nipkow [Fri, 13 Nov 2009 14:14:04 +0100] rev 33657

renamed lemmas "anti_sym" -> "antisym"

krauss [Fri, 13 Nov 2009 14:03:24 +0100] rev 33656

a few lemmas for point-free reasoning about transitive closure

paulson [Fri, 13 Nov 2009 11:34:05 +0000] rev 33655

merged

paulson [Fri, 13 Nov 2009 11:33:33 +0000] rev 33654

A number of theorems contributed by Jeremy Avigad

bulwahn [Fri, 13 Nov 2009 06:24:31 +0100] rev 33653

merged

bulwahn [Thu, 12 Nov 2009 21:14:42 +0100] rev 33652

merged

bulwahn [Thu, 12 Nov 2009 20:39:02 +0100] rev 33651

adding the predicate compiler quickcheck to the ex/ROOT.ML; adopting this quickcheck to the latest changes

testboard