Tutorial/Tutorial4s.thy
2012-03-05 Christian Urban updated tutorial to latest version and added it to the tests
2011-01-22 Cezary Kaliszyk Tutorial 4s
less more (0) tip