| 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
|
| Wed, 17 Nov 2010 17:27:25 +0100 |
haftmann |
infer variances of user-given mapper operation; proper thm storing
|
changeset |
files
|
| Wed, 17 Nov 2010 21:35:23 +0100 |
nipkow |
code eqn for slice was missing; redefined splice with fun
|
changeset |
files
|
| Wed, 17 Nov 2010 08:47:58 -0800 |
huffman |
move strict function type into main HOLCF; instance cfun :: (predomain, domain) domain
|
changeset |
files
|
| Wed, 17 Nov 2010 06:49:23 -0800 |
huffman |
merged
|
changeset |
files
|
| Tue, 16 Nov 2010 16:36:57 -0800 |
huffman |
typedef (open) unit
|
changeset |
files
|
| Tue, 16 Nov 2010 13:37:17 -0800 |
huffman |
add bind_bind rules for powerdomains
|
changeset |
files
|
| Wed, 17 Nov 2010 13:50:02 +0100 |
wenzelm |
merged
|
changeset |
files
|