| Thu, 04 Nov 2010 13:37:11 +0100 |
haftmann |
merged
|
changeset |
files
|
| Thu, 04 Nov 2010 09:54:16 +0100 |
haftmann |
merged
|
changeset |
files
|
| Wed, 03 Nov 2010 14:14:06 +0100 |
haftmann |
dropped debug message
|
changeset |
files
|
| Wed, 03 Nov 2010 14:14:06 +0100 |
haftmann |
more precise text
|
changeset |
files
|
| Wed, 03 Nov 2010 14:14:05 +0100 |
haftmann |
SMLdummy target
|
changeset |
files
|
| Wed, 03 Nov 2010 14:14:05 +0100 |
haftmann |
fixed typos
|
changeset |
files
|
| Wed, 03 Nov 2010 12:20:33 +0100 |
haftmann |
moved theory Quicksort from Library/ to ex/
|
changeset |
files
|
| Wed, 03 Nov 2010 12:20:33 +0100 |
haftmann |
Theory Multiset provides stable quicksort implementation of sort_key.
|
changeset |
files
|
| Wed, 03 Nov 2010 12:15:47 +0100 |
haftmann |
added code lemmas for stable parametrized quicksort
|
changeset |
files
|
| Wed, 03 Nov 2010 11:50:29 +0100 |
haftmann |
tuned proof
|
changeset |
files
|
| Thu, 04 Nov 2010 09:53:23 +0100 |
blanchet |
moved file in makefile to reflect actual dependencies
|
changeset |
files
|
| Wed, 03 Nov 2010 23:01:30 +0100 |
blanchet |
give E one more second, to prevent cases where it finds a proof but has no time to print it
|
changeset |
files
|
| Wed, 03 Nov 2010 22:51:32 +0100 |
blanchet |
use floating-point numbers for Sledgehammer's "thresholds" option rather than percentages;
|
changeset |
files
|
| Wed, 03 Nov 2010 22:33:23 +0100 |
blanchet |
don't be overly verbose in Sledgehammer's minimizer
|
changeset |
files
|