isabelle: Changelog

blanchet [Thu, 18 Nov 2010 18:12:03 +0100] rev 40600

mention Sledgehammer with SMT

blanchet [Thu, 18 Nov 2010 18:09:08 +0100] rev 40599

enabled SMT solver in Sledgehammer by default

haftmann [Thu, 18 Nov 2010 12:37:30 +0100] rev 40598

merged

haftmann [Thu, 18 Nov 2010 10:59:42 +0100] rev 40597

keep variables bound

blanchet [Thu, 18 Nov 2010 10:52:38 +0100] rev 40596

remove "Time limit reached" as potential error, because this is sometimes generated for individual slices and not for the entire problem

haftmann [Wed, 17 Nov 2010 23:20:26 +0100] rev 40595

merged

haftmann [Wed, 17 Nov 2010 17:27:25 +0100] rev 40594

infer variances of user-given mapper operation; proper thm storing

nipkow [Wed, 17 Nov 2010 21:35:23 +0100] rev 40593

code eqn for slice was missing; redefined splice with fun

huffman [Wed, 17 Nov 2010 08:47:58 -0800] rev 40592

move strict function type into main HOLCF; instance cfun :: (predomain, domain) domain

huffman [Wed, 17 Nov 2010 06:49:23 -0800] rev 40591

merged

isabelle