src/HOL/Library/Uprod.thy
2017-08-30 Andreas Lochbihler 2017-08-30 add type of unordered pairs