Tutorial/Tutorial3.thy
2011-01-22 Christian Urban cleaned up Tutorial 3 with solutions
2011-01-21 Christian Urban separated type preservation and progress into a separate file
2011-01-21 Christian Urban substitution lemma in separate file
less more (0) tip