ProgTutorial/Package/Ind_Interface.thy
2009-07-30 Christian Urban tuned figure placement
2009-07-30 Christian Urban polished the package chapter used FOCUS to explain the subproofs
2009-05-30 Christian Urban added some first index-information
less more (0) -3 tip