| 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 |