Tutorial/Tutorial2s.thy
2011-01-22 Christian Urban cleaned up and solution section
less more (0) tip