isabelle: Changelog

blanchet [Tue, 07 Dec 2010 11:56:01 +0100] rev 41046

fix special handling of set products

blanchet [Tue, 07 Dec 2010 11:56:01 +0100] rev 41045

use heuristic to determine whether to keep or drop an existing "let" -- and drop all higher-order lets

bulwahn [Tue, 07 Dec 2010 11:50:16 +0100] rev 41044

merged

bulwahn [Tue, 07 Dec 2010 10:03:43 +0100] rev 41043

testing smartly in two dimensions (cardinality and size) in quickcheck

blanchet [Tue, 07 Dec 2010 09:58:56 +0100] rev 41042

load "try" after "Metis" and move "Async_Manager" back to Sledgehammer

blanchet [Tue, 07 Dec 2010 09:58:52 +0100] rev 41041

make SML/NJ happy

blanchet [Tue, 07 Dec 2010 09:52:07 +0100] rev 41040

merge

blanchet [Mon, 06 Dec 2010 14:47:58 +0100] rev 41039

show strings as "s_1" etc. rather than "l_1" etc.

blanchet [Mon, 06 Dec 2010 14:47:58 +0100] rev 41038

quiet Metis in "try"

haftmann [Tue, 07 Dec 2010 09:36:12 +0100] rev 41037

removed experimental equality checking of closures; acknowledge underapproximation of equality in function name

isabelle