ProgTutorial/Package/Ind_Extensions.thy
changeset 310 007922777ff1
parent 261 358f325f4db6
child 346 0fea8b7a14a1
equal deleted inserted replaced
309:ed797395fab6 310:007922777ff1