src/HOL/Product_Type.thy
changeset 45802 b16f976db515
parent 45696 476ad865f125
child 45986 c9e50153e5ae