ProgTutorial/Package/Ind_Interface.thy
2010-05-27 Christian Urban updated to new Isabelle
less more (0) -10 -1 tip