| Sat, 17 Dec 2005 01:58:41 +0100 |
wenzelm |
simp del: empty_Collect_eq;
|
changeset |
files
|
| Sat, 17 Dec 2005 01:00:40 +0100 |
wenzelm |
sort_distinct;
|
changeset |
files
|
| Sat, 17 Dec 2005 01:00:38 +0100 |
wenzelm |
added sort_distinct;
|
changeset |
files
|
| Fri, 16 Dec 2005 18:22:58 +0100 |
urbanc |
added container-lemma fresh_eqvt
|
changeset |
files
|
| Fri, 16 Dec 2005 18:20:59 +0100 |
urbanc |
I think the earlier version was completely broken
|
changeset |
files
|
| Fri, 16 Dec 2005 18:20:03 +0100 |
urbanc |
tuned more proofs
|
changeset |
files
|
| Fri, 16 Dec 2005 16:59:32 +0100 |
nipkow |
new lemmas
|
changeset |
files
|
| Fri, 16 Dec 2005 16:00:58 +0100 |
haftmann |
re-arranged tuples (theory * 'a) to ('a * theory) in Pure
|
changeset |
files
|
| Fri, 16 Dec 2005 15:52:05 +0100 |
haftmann |
re-arranged tuples (theory * 'a) to ('a * theory) in Pure
|
changeset |
files
|
| Fri, 16 Dec 2005 12:15:54 +0100 |
paulson |
hashing to eliminate the output of duplicate clauses
|
changeset |
files
|
| Fri, 16 Dec 2005 11:51:24 +0100 |
paulson |
hash tables from SML/NJ
|
changeset |
files
|
| Fri, 16 Dec 2005 09:00:11 +0100 |
haftmann |
re-arranged tuples (theory * 'a) to ('a * theory) in Pure
|
changeset |
files
|