src/HOL/Library/FSet.thy
2014-01-24 blanchet 2014-01-24 killed 'More_BNFs' by moving its various bits where they (now) belong
2013-11-05 hoelzl 2013-11-05 use bdd_above and bdd_below for conditionally complete lattices
2013-10-01 traytel 2013-10-01 base the fset bnf on the new FSet theory
2013-09-28 wenzelm 2013-09-28 proper document markup;
2013-09-27 kuncar 2013-09-27 tuned names
2013-09-27 kuncar 2013-09-27 fold and lemmas about cardinality
2013-09-27 kuncar 2013-09-27 new theory of finite sets as a subtype