ProgTutorial/Package/Ind_Extensions.thy
changeset 379 d9e0ea61be78
parent 346 0fea8b7a14a1
child 404 3d27d77c351f
equal deleted inserted replaced
378:8d160d79b48c 379:d9e0ea61be78