| Wed, 10 Mar 2004 20:31:47 +0100 | webertj | *** empty log message *** | changeset | files |
| Wed, 10 Mar 2004 20:28:18 +0100 | webertj | Internal and external SAT solvers | changeset | files |
| Wed, 10 Mar 2004 20:27:56 +0100 | webertj | Formulas of propositional logic | changeset | files |
| Wed, 10 Mar 2004 20:21:08 +0100 | webertj | ZCHAFF_HOME variable added | changeset | files |
| Wed, 10 Mar 2004 10:34:56 +0100 | paulson | new thm | changeset | files |
| Wed, 10 Mar 2004 10:34:49 +0100 | paulson | strengthened the axclass claims | changeset | files |
| Tue, 09 Mar 2004 04:22:50 +0100 | kleing | suggest -p 1 proof object level for HOL | changeset | files |