isabelle: Changelog

boehmes [Tue, 31 May 2011 19:28:03 +0200] rev 43118

updated SMT certificates

boehmes [Tue, 31 May 2011 19:27:19 +0200] rev 43117

proper nesting of loops in new monomorphizer; less duplication of code in new monomorphizer; drop output of warnings of new monomorphizer

boehmes [Tue, 31 May 2011 19:21:20 +0200] rev 43116

use new monomorphizer for SMT; simplify the monomorphizer by inlining functions and proper passing of arguments

bulwahn [Tue, 31 May 2011 18:13:00 +0200] rev 43115

merged

bulwahn [Tue, 31 May 2011 15:45:27 +0200] rev 43114

Quickcheck Narrowing only requires one compilation with GHC now

bulwahn [Tue, 31 May 2011 15:45:26 +0200] rev 43113

splitting test_goal_terms in Quickcheck into smaller basic functions

bulwahn [Tue, 31 May 2011 15:45:24 +0200] rev 43112

adding registration of testers in Quickcheck for its use in Quickcheck_Narrowing

isabelle