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 |