Slides/Slides5.thy
2013-10-13 Christian Urban added slides
2011-03-31 Christian Urban final version of slides
2011-03-30 Christian Urban more on the slides
2011-03-29 Christian Urban rearranged directories and updated to new Isabelle
less more (0) tip