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 |
Fri, 20 Oct 2006 10:44:53 +0200 | haftmann | code nofunc now permits theorems violating typing discipline | changeset | files |