| Mon, 23 Mar 2009 12:13:33 +0100 | Christian Urban | polishing to the theorem attributes section | file | diff | annotate |
| Sat, 21 Mar 2009 12:35:03 +0100 | Christian Urban | some polishing | file | diff | annotate |
| Thu, 19 Mar 2009 17:50:28 +0100 | Christian Urban | more one the simple-inductive chapter | file | diff | annotate |