Tutorial/Tutorial4.thy
2012-03-05 Christian Urban updated tutorial to latest version and added it to the tests
2011-01-24 Cezary Kaliszyk merge
2011-01-24 Cezary Kaliszyk minor
2011-01-23 Christian Urban cleaning up
less more (0) -4 tip