src/HOL/Library/Dlist_Cset.thy
2011-08-28 haftmann 2011-08-28 tuned
2011-08-27 haftmann 2011-08-27 Cset, Dlist_Cset, List_Cset: restructured
2011-07-25 Andreas Lochbihler 2011-07-25 added operations to Cset with code equations in backing implementations
2011-06-07 bulwahn 2011-06-07 splitting Cset into Cset and List_Cset
2011-06-02 bulwahn 2011-06-02 splitting Dlist theory in Dlist and Dlist_Cset