src/HOL/Product_Type.thy
changeset 50999 3de230ed0547
parent 50107 289181e3e524
child 51173 3cbb4e95a565