2011-01-22 | Christian Urban | cleaned up Tutorial 3 with solutions | file | diff | annotate |
2011-01-21 | Christian Urban | separated type preservation and progress into a separate file | file | diff | annotate |
2011-01-21 | Christian Urban | substitution lemma in separate file | file | diff | annotate |