src/HOL/Library/List_Cset.thy
2012-01-20 bulwahn 2012-01-20 adding check_all instance for sets; tuned
2012-01-06 haftmann 2012-01-06 moved lemmas about List.set and set operations to List theory
2011-12-24 haftmann 2011-12-24 dropped references to obsolete fact `mem_def`
2011-08-28 haftmann 2011-08-28 corrected slip
2011-08-27 haftmann 2011-08-27 Cset, Dlist_Cset, List_Cset: restructured
2011-08-26 haftmann 2011-08-26 adapted to changes in Cset.thy
2011-07-26 Andreas Lochbihler 2011-07-26 fixed code generator setup in List_Cset
2011-07-25 Andreas Lochbihler 2011-07-25 added operations to Cset with code equations in backing implementations
2011-06-09 bulwahn 2011-06-09 local simp rule in List_Cset
2011-06-07 bulwahn 2011-06-07 splitting Cset into Cset and List_Cset