src/HOL/Product_Type.thy
changeset 28263 69eaa97e7e96
parent 28262 aa7ca36d67fd
child 28346 b8390cd56b8f