src/HOL/Product_Type.thy
changeset 66010 2f7d39285a1a
parent 63575 b9bd9e61fd63
child 66251 cd935b7cb3fb