ProgTutorial/Essential.thy
2010-05-17 Christian Urban updated to new isabelle
less more (0) -10 -1 tip