src/HOL/Library/Disjoint_Sets.thy
2015-07-16 hoelzl 2015-07-16 move disjoint sets to their own theory