haftmann [Thu, 18 Nov 2010 17:01:16 +0100] rev 40608
mapper for list type; map_pair replaces prod_fun
haftmann [Thu, 18 Nov 2010 17:01:16 +0100] rev 40607
map_pair replaces prod_fun
haftmann [Thu, 18 Nov 2010 17:01:16 +0100] rev 40606
mapper for mulitset type
haftmann [Thu, 18 Nov 2010 17:01:16 +0100] rev 40605
mapper for mapping type
haftmann [Thu, 18 Nov 2010 17:01:15 +0100] rev 40604
mapper for fset type
haftmann [Thu, 18 Nov 2010 17:01:15 +0100] rev 40603
mapper for dlist type
haftmann [Thu, 18 Nov 2010 17:01:15 +0100] rev 40602
map_fun combinator in theory Fun
wenzelm [Thu, 18 Nov 2010 22:34:32 +0100] rev 40601
some updates after 2 years of Mercurial usage;
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