Tutorial/Tutorial4s.thy
2011-01-22 Cezary Kaliszyk Tutorial 4s
less more (0) tip