ProgTutorial/First_Steps.thy
2011-06-28 Christian Urban updated to new Isabelle
less more (0) -1 tip