Tutorial/Tutorial2s.thy
2012-10-19 Christian Urban updated to changes in the type-def package
2012-03-05 Christian Urban updated tutorial to latest version and added it to the tests
2011-01-22 Christian Urban cleaned up and solution section
less more (0) tip