Fri, 16 Dec 2005 18:22:58 +0100 added container-lemma fresh_eqvt
urbanc [Fri, 16 Dec 2005 18:22:58 +0100] rev 18426
added container-lemma fresh_eqvt (definition: container-lemma contains all instantiations of a lemma from the general theory)
Fri, 16 Dec 2005 18:20:59 +0100 I think the earlier version was completely broken
urbanc [Fri, 16 Dec 2005 18:20:59 +0100] rev 18425
I think the earlier version was completely broken (not sure about this one)
Fri, 16 Dec 2005 18:20:03 +0100 tuned more proofs
urbanc [Fri, 16 Dec 2005 18:20:03 +0100] rev 18424
tuned more proofs
Fri, 16 Dec 2005 16:59:32 +0100 new lemmas
nipkow [Fri, 16 Dec 2005 16:59:32 +0100] rev 18423
new lemmas
Fri, 16 Dec 2005 16:00:58 +0100 re-arranged tuples (theory * 'a) to ('a * theory) in Pure
haftmann [Fri, 16 Dec 2005 16:00:58 +0100] rev 18422
re-arranged tuples (theory * 'a) to ('a * theory) in Pure
Fri, 16 Dec 2005 15:52:05 +0100 re-arranged tuples (theory * 'a) to ('a * theory) in Pure
haftmann [Fri, 16 Dec 2005 15:52:05 +0100] rev 18421
re-arranged tuples (theory * 'a) to ('a * theory) in Pure
Fri, 16 Dec 2005 12:15:54 +0100 hashing to eliminate the output of duplicate clauses
paulson [Fri, 16 Dec 2005 12:15:54 +0100] rev 18420
hashing to eliminate the output of duplicate clauses
Fri, 16 Dec 2005 11:51:24 +0100 hash tables from SML/NJ
paulson [Fri, 16 Dec 2005 11:51:24 +0100] rev 18419
hash tables from SML/NJ
Fri, 16 Dec 2005 09:00:11 +0100 re-arranged tuples (theory * 'a) to ('a * theory) in Pure
haftmann [Fri, 16 Dec 2005 09:00:11 +0100] rev 18418
re-arranged tuples (theory * 'a) to ('a * theory) in Pure
Thu, 15 Dec 2005 21:51:31 +0100 there was a small error in the last commit - fixed now
urbanc [Thu, 15 Dec 2005 21:51:31 +0100] rev 18417
there was a small error in the last commit - fixed now
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip