src/HOL/Library/Countable_Set_Type.thy
2014-06-27 blanchet 2014-06-27 merged two small theory files
2014-03-06 blanchet 2014-03-06 renamed 'cset_rel' to 'rel_cset'
2014-02-18 kuncar 2014-02-18 simplify proofs because of the stronger reflexivity prover
2014-02-12 blanchet 2014-02-12 renamed '{prod,sum,bool,unit}_case' to 'case_...'
2014-01-20 blanchet 2014-01-20 dissolved BNF session