Slides/Slides3.thy
2011-03-29 Christian Urban rearranged directories and updated to new Isabelle
2010-07-13 Christian Urban more on slides
2010-07-13 Christian Urban slides
less more (0) -3 tip