src/HOL/Library/Disjoint_Sets.thy
2016-09-21 paulson 2016-09-21 new material about topological concepts, etc
2016-05-25 wenzelm 2016-05-25 updated 'define';
2016-05-25 wenzelm 2016-05-25 isabelle update_cartouches -c -t;
2016-05-17 eberlm 2016-05-17 Merged
2016-05-17 eberlm 2016-05-17 Moved material from AFP/Randomised_Social_Choice to distribution
2016-05-17 hoelzl 2016-05-17 Library: add partition_on
2016-04-04 paulson 2016-04-04 Mostly renaming (from HOL Light to Isabelle conventions), with a couple of new results
2016-02-23 nipkow 2016-02-23 more canonical names
2015-12-10 paulson 2015-12-10 not_leE -> not_le_imp_less and other tidying
2015-07-16 hoelzl 2015-07-16 move disjoint sets to their own theory