ProgTutorial/Package/Ind_Code.thy
changeset 228 fe45fbb111c5
parent 224 647cab4a72c2
child 237 0a8981f52045
equal deleted inserted replaced
227:a00c7721fc3b 228:fe45fbb111c5