| Tue, 07 Apr 2009 17:04:39 +0100 | Christian Urban | permutation example uses now recent infrastructure | file | diff | annotate |
| Fri, 03 Apr 2009 07:55:07 +0100 | Christian Urban | various additions | file | diff | annotate |
| Thu, 02 Apr 2009 11:48:35 +0100 | Christian Urban | section for further material about simple inductive | file | diff | annotate |