Slides/Slides1.thy
2011-03-29 Christian Urban rearranged directories and updated to new Isabelle
2011-03-08 Christian Urban more on the pearl paper
2010-07-09 Christian Urban finished alpha-section
less more (0) -3 tip