isabelle: Changelog

bulwahn [Tue, 07 Jun 2011 11:24:54 +0200] rev 43243

merged

bulwahn [Tue, 07 Jun 2011 11:24:16 +0200] rev 43242

merged; manually merged IsaMakefile

bulwahn [Tue, 07 Jun 2011 11:12:05 +0200] rev 43241

splitting Cset into Cset and List_Cset

bulwahn [Tue, 07 Jun 2011 11:11:01 +0200] rev 43240

adding finitize_functions and processing of equivalences in existential compilation in quickcheck_narrowing

bulwahn [Tue, 07 Jun 2011 11:10:58 +0200] rev 43239

adding examples with existentials

bulwahn [Tue, 07 Jun 2011 11:10:57 +0200] rev 43238

renaming the formalisation of the birthday problem to a proper English name

bulwahn [Tue, 07 Jun 2011 11:10:42 +0200] rev 43237

adding compilation that allows existentials in Quickcheck_Narrowing

blanchet [Tue, 07 Jun 2011 11:13:52 +0200] rev 43236

move away from old SMT monomorphizer

blanchet [Tue, 07 Jun 2011 11:12:52 +0200] rev 43235

tuning

blanchet [Tue, 07 Jun 2011 11:05:09 +0200] rev 43234

merged

isabelle