Slides/Slides.thy
2010-11-25 urbanc added paper
less more (0) tip