| 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 |