| 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 |
| 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 |
| Tue, 09 Mar 2004 04:19:41 +0100 | kleing | include more explanation of variables | changeset | files |
| Mon, 08 Mar 2004 12:18:19 +0100 | ballarin | *** empty log message *** | changeset | files |
| Mon, 08 Mar 2004 12:17:43 +0100 | ballarin | Bug-fixes for transitivity reasoner. | changeset | files |
| Mon, 08 Mar 2004 12:16:57 +0100 | ballarin | Added documentation for transitivity solver setup. | changeset | files |
| Mon, 08 Mar 2004 11:12:06 +0100 | paulson | generic theorems about exponentials; general tidying up | changeset | files |
| Mon, 08 Mar 2004 11:11:58 +0100 | paulson | new theory of infinite sets | changeset | files |
| Sat, 06 Mar 2004 19:32:21 +0100 | nipkow | Lex: removed last ML files | changeset | files |
| Sat, 06 Mar 2004 19:31:27 +0100 | nipkow | Conversion ML -> Isar | changeset | files |
| Fri, 05 Mar 2004 15:30:49 +0100 | paulson | tweaked for times_ac1 | changeset | files |
| Fri, 05 Mar 2004 15:26:14 +0100 | paulson | tweaks | changeset | files |
| Fri, 05 Mar 2004 15:26:04 +0100 | paulson | some new results | changeset | files |
| Fri, 05 Mar 2004 15:19:55 +0100 | paulson | some new results | changeset | files |