CookBook/Package/Ind_Interface.thy
changeset 167 3e30ea95c7aa
parent 129 e0d368a45537
child 176 3da5f3f07d8b
equal deleted inserted replaced
166:00d153e32a53 167:3e30ea95c7aa