src/HOL/Product_Type.thy
changeset 37407 61dd8c145da7
parent 37389 09467cdfa198
child 37411 c88c44156083