Slides/Slides4.thy
2014-02-25 Christian Urban added
less more (0) tip