src/HOL/Library/Countable_Set_Type.thy
19 months ago wenzelm 2017-11-04 prefer main entry points of HOL;
22 months ago wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2016-06-22 wenzelm 2016-06-22 bundle lifting_syntax;
2016-04-25 wenzelm 2016-04-25 eliminated old 'def'; tuned comments;
2016-02-23 nipkow 2016-02-23 more canonical names
2016-02-09 hoelzl 2016-02-09 Borel_Space.borel is now in the type class locale
2016-02-17 haftmann 2016-02-17 prefer abbreviations for compound operators INFIMUM and SUPREMUM
2016-02-16 traytel 2016-02-16 make predicator a first-class bnf citizen
2016-01-07 paulson 2016-01-07 revisions to limits and derivatives, plus new lemmas
2015-12-28 wenzelm 2015-12-28 prefer symbols for "Union", "Inter";
2015-11-05 wenzelm 2015-11-05 isabelle update_cartouches -c -t;
2015-10-13 haftmann 2015-10-13 prod_case as canonical name for product type eliminator
2015-07-06 wenzelm 2015-07-06 tuned proofs;
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2015-04-14 Andreas Lochbihler 2015-04-14 more lemmas for cset
2015-04-08 Andreas Lochbihler 2015-04-08 consistent naming
2015-04-08 Andreas Lochbihler 2015-04-08 more lemmas and operations on cset (adapted from FSet)
2014-11-02 wenzelm 2014-11-02 modernized header;
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