Fri, 19 Nov 2004 17:52:07 +0100 | webertj | comment modified | file | diff | annotate |
Thu, 17 Jun 2004 21:58:51 +0200 | webertj | improved defcnf conversion | file | diff | annotate |
Sun, 13 Jun 2004 17:57:35 +0200 | webertj | faster defcnf conversion | file | diff | annotate |
Mon, 17 May 2004 14:05:06 +0200 | webertj | Comments fixed | file | diff | annotate |
Wed, 28 Apr 2004 10:45:35 +0200 | webertj | comments modified | file | diff | annotate |
Wed, 10 Mar 2004 20:27:56 +0100 | webertj | Formulas of propositional logic | file | diff | annotate |