| 2009-04-08 | griff | ran spell-checker | file | diff | annotate |
| 2009-04-07 | Christian Urban | added material about OuterKeyword.keyword and OuterParse.reserved | file | diff | annotate |
| 2009-04-07 | Christian Urban | permutation example uses now recent infrastructure | file | diff | annotate |
| 2009-04-01 | Christian Urban | more work on the simple inductive chapter | file | diff | annotate |