| Sat, 19 Feb 2011 21:49:11 +0000 | urbanc | added directory with the small files and numbers of lines | file | diff | annotate |
| Sat, 19 Feb 2011 20:15:59 +0000 | urbanc | ALT case done | file | diff | annotate |
| Sat, 19 Feb 2011 19:27:33 +0000 | urbanc | first two proofs in 2 direction | file | diff | annotate |