| Thu, 18 Nov 2010 17:01:16 +0100 |
haftmann |
mapper for list type; map_pair replaces prod_fun
|
changeset |
files
|
| Thu, 18 Nov 2010 17:01:16 +0100 |
haftmann |
map_pair replaces prod_fun
|
changeset |
files
|
| Thu, 18 Nov 2010 17:01:16 +0100 |
haftmann |
mapper for mulitset type
|
changeset |
files
|
| Thu, 18 Nov 2010 17:01:16 +0100 |
haftmann |
mapper for mapping type
|
changeset |
files
|
| Thu, 18 Nov 2010 17:01:15 +0100 |
haftmann |
mapper for fset type
|
changeset |
files
|
| Thu, 18 Nov 2010 17:01:15 +0100 |
haftmann |
mapper for dlist type
|
changeset |
files
|
| Thu, 18 Nov 2010 17:01:15 +0100 |
haftmann |
map_fun combinator in theory Fun
|
changeset |
files
|
| Thu, 18 Nov 2010 22:34:32 +0100 |
wenzelm |
some updates after 2 years of Mercurial usage;
|
changeset |
files
|
| Thu, 18 Nov 2010 18:12:03 +0100 |
blanchet |
mention Sledgehammer with SMT
|
changeset |
files
|
| Thu, 18 Nov 2010 18:09:08 +0100 |
blanchet |
enabled SMT solver in Sledgehammer by default
|
changeset |
files
|
| Thu, 18 Nov 2010 12:37:30 +0100 |
haftmann |
merged
|
changeset |
files
|
| Thu, 18 Nov 2010 10:59:42 +0100 |
haftmann |
keep variables bound
|
changeset |
files
|
| Thu, 18 Nov 2010 10:52:38 +0100 |
blanchet |
remove "Time limit reached" as potential error, because this is sometimes generated for individual slices and not for the entire problem
|
changeset |
files
|
| Wed, 17 Nov 2010 23:20:26 +0100 |
haftmann |
merged
|
changeset |
files
|