CookBook/Package/Ind_Interface.thy
changeset 82 6dfe6975bda0
parent 76 b99fa5fa63fc
child 88 ebbd0dd008c8