| Tue, 08 Jan 2008 23:11:08 +0100 | urbanc | tuned proofs | file | diff | annotate |
| Fri, 04 Jan 2008 16:35:22 +0100 | urbanc | partially adapted to new inversion rules | file | diff | annotate |
| Sun, 23 Sep 2007 22:11:50 +0200 | urbanc | tuned one proof so to not run in a loop with the new atom-representation | file | diff | annotate |