| 2009-10-13 | Christian Urban | tuned the ML-output mechanism; tuned slightly the text | file | diff | annotate |
| 2009-03-27 | Christian Urban | more work on simple inductive and marked all sections that are still seriously incomplete with TBD | file | diff | annotate |