ProgTutorial/Package/Ind_Extensions.thy
changeset 352 9f12e53eb121
parent 346 0fea8b7a14a1
child 404 3d27d77c351f
equal deleted inserted replaced
351:f118240ab44a 352:9f12e53eb121