| Fri, 12 Mar 2004 10:47:59 +0100 | webertj | \<dots> replaced by ... | changeset | files |
| Thu, 11 Mar 2004 13:34:13 +0100 | webertj | refute | changeset | files |
| Thu, 11 Mar 2004 13:03:31 +0100 | webertj | Documentation updated | changeset | files |
| Thu, 11 Mar 2004 11:24:54 +0100 | webertj | Refute_Examples added/fixed | changeset | files |
| Thu, 11 Mar 2004 03:53:43 +0100 | kleing | look for multi platform poly first, choose shrink wrapped poly-4.1.3 (guess) only | changeset | files |
| Thu, 11 Mar 2004 00:15:24 +0100 | webertj | SML/NJ compatibility fixes | changeset | files |
| Wed, 10 Mar 2004 22:39:12 +0100 | webertj | added Refute_Examples.thy | changeset | files |
| Wed, 10 Mar 2004 22:37:33 +0100 | webertj | changed default values for refute | changeset | files |
| Wed, 10 Mar 2004 22:35:37 +0100 | webertj | *** empty log message *** | changeset | files |
| Wed, 10 Mar 2004 22:33:48 +0100 | webertj | support for non-recursive IDTs, The, arbitrary, Hilbert_Choice.Eps | changeset | files |
| Wed, 10 Mar 2004 20:36:11 +0100 | webertj | Updated examples | changeset | files |
| 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 |