Slides/Slides1.thy
2013-11-23 Christian Urban added things --- in messy state
2013-07-17 Christian Urban added slides
less more (0) tip