Fri, 20 Oct 2006 11:07:45 +0200 | paulson | example of a single-step proof reconstruction | changeset | files |
Fri, 20 Oct 2006 11:06:20 +0200 | paulson | Fixed the "exception Empty" bug in elim2Fol | changeset | files |
Fri, 20 Oct 2006 11:04:15 +0200 | paulson | Added more debugging info | changeset | files |
Fri, 20 Oct 2006 11:03:33 +0200 | paulson | nclauses no longer requires its input to be in NNF | changeset | files |
Fri, 20 Oct 2006 10:44:56 +0200 | haftmann | cleanup | changeset | files |
Fri, 20 Oct 2006 10:44:55 +0200 | haftmann | explicit change of code width possible | changeset | files |