src/HOL/Library/Disjoint_Sets.thy
changeset 61952 546958347e05
parent 61824 dcbe9f756ae0
child 62390 842917225d56