| Wed, 12 Oct 2005 18:17:48 +0200 | webertj | counter added to SAT signature | changeset | files |
| Wed, 12 Oct 2005 17:06:22 +0200 | webertj | no proof reconstruction when quick_and_dirty is set | changeset | files |
| Wed, 12 Oct 2005 10:49:07 +0200 | paulson | tidying | changeset | files |
| Wed, 12 Oct 2005 03:02:18 +0200 | huffman | domain package generates compactness lemmas for new constructors | changeset | files |
| Wed, 12 Oct 2005 03:01:30 +0200 | huffman | add ML bindings for compactness lemmas | changeset | files |
| Wed, 12 Oct 2005 03:01:09 +0200 | huffman | added compactness theorems | changeset | files |
| Wed, 12 Oct 2005 01:43:37 +0200 | huffman | added compactness lemmas; cleaned up | changeset | files |