ProgTutorial/Package/Ind_Interface.thy
changeset 268 509e2ca547db
parent 224 647cab4a72c2
child 244 dc95a56b1953