| Thu, 29 Sep 2005 15:50:44 +0200 | wenzelm | explicit dependencies of SAT vs. Refute; | file | diff | annotate |
| Fri, 23 Sep 2005 22:58:50 +0200 | webertj | new sat tactic imports resolution proofs from zChaff | file | diff | annotate |
| Fri, 23 Sep 2005 16:01:45 +0200 | webertj | header (title/ID) added | file | diff | annotate |
| Fri, 23 Sep 2005 15:45:12 +0200 | webertj | typo fixed: rufute -> refute | file | diff | annotate |
| Tue, 20 Sep 2005 14:03:38 +0200 | wenzelm | removed Commutative_Ring hacks; | file | diff | annotate |
| Sat, 17 Sep 2005 18:11:21 +0200 | wenzelm | minor cleanup, moved stuff in its proper place; | file | diff | annotate |
| Thu, 15 Sep 2005 17:45:17 +0200 | paulson | moving Commutative_Ring to the correct theory | file | diff | annotate |