| Sat, 22 Jan 2011 16:36:21 -0600 | Christian Urban | cleaned up Tutorial 3 with solutions | file | diff | annotate |
| Fri, 21 Jan 2011 22:23:44 +0100 | Christian Urban | separated type preservation and progress into a separate file | file | diff | annotate |
| Fri, 21 Jan 2011 22:02:34 +0100 | Christian Urban | substitution lemma in separate file | file | diff | annotate |