| Fri, 09 Dec 2011 11:31:13 +0100 |
noschinl |
more systematic lemma name
|
changeset |
files
|
| Thu, 08 Dec 2011 13:53:28 +0100 |
bulwahn |
adding examples for quickcheck narrowing about partial functions
|
changeset |
files
|
| Thu, 08 Dec 2011 13:53:27 +0100 |
bulwahn |
removing special code generator setup for hd and last function because this causes problems with quickcheck narrowing as the Haskell Prelude functions throw errors that cannot be caught instead of PatternFail exceptions
|
changeset |
files
|
| Thu, 08 Dec 2011 13:46:04 +0100 |
huffman |
HOLCF/ex/Letrec.thy: keep class 'domain' as default sort
|
changeset |
files
|
| Thu, 08 Dec 2011 13:25:54 +0100 |
huffman |
more error checking for fixrec
|
changeset |
files
|
| Thu, 08 Dec 2011 13:25:40 +0100 |
huffman |
reinstate old functions cfst and csnd as abbreviations
|
changeset |
files
|
| Thu, 08 Dec 2011 09:10:54 +0100 |
nipkow |
merged
|
changeset |
files
|
| Thu, 08 Dec 2011 09:10:44 +0100 |
nipkow |
tuned
|
changeset |
files
|
| Wed, 07 Dec 2011 16:06:08 +0000 |
Christian Urban |
merged
|
changeset |
files
|
| Wed, 07 Dec 2011 14:00:02 +0000 |
Christian Urban |
added a specific tactic and method that deal with partial equivalence relations
|
changeset |
files
|
| Wed, 07 Dec 2011 16:03:05 +0100 |
blanchet |
use same order of facts for preplay as for actual reconstruction -- Metis sometimes exhibits very different timings depending on the order of the facts
|
changeset |
files
|
| Wed, 07 Dec 2011 16:03:05 +0100 |
blanchet |
avoid multiple TFF1 declarations
|
changeset |
files
|
| Wed, 07 Dec 2011 16:03:05 +0100 |
blanchet |
updated TFF1 support
|
changeset |
files
|
| Wed, 07 Dec 2011 16:03:05 +0100 |
blanchet |
updated Metis to 20110926 version
|
changeset |
files
|