Slides/ROOT1.ML
2011-03-29 Christian Urban rearranged directories and updated to new Isabelle
2010-09-25 Christian Urban added example about datatypes
2010-07-10 Christian Urban added material for slides
less more (0) tip