src/HOL/Product_Type.thy
changeset 35898 c890a3835d15
parent 35831 e31ec41a551b
child 36176 3fe7e97ccca8