CookBook/Package/Ind_Interface.thy
changeset 50 3d4b49921cdb
parent 42 cd612b489504
child 53 0c3580c831a4
equal deleted inserted replaced
49:a0edabf14457 50:3d4b49921cdb