CookBook/Package/Ind_Interface.thy
changeset 57 065f472c09ab
parent 55 0b55402ae95e
child 60 5b9c6010897b