2012-01-06 haftmann 2012-01-06 incorporated various theorems from theory More_Set into corpus
2012-01-06 haftmann 2012-01-06 incorporated canonical fold combinator on lists into body of List theory; refactored passages on List.fold(l/r)
2011-12-26 haftmann 2011-12-26 incorporated More_Set and More_List into the Main body -- to be consolidated later
2011-12-26 haftmann 2011-12-26 moved various set operations to theory Set (resp. Product_Type)
2011-12-24 haftmann 2011-12-24 adjusted to set/pred distinction by means of type constructor `set`
2011-08-28 haftmann 2011-08-28 tuned
2011-08-27 haftmann 2011-08-27 Cset, Dlist_Cset, List_Cset: restructured
2011-08-26 haftmann 2011-08-26 separating predicates and sets syntactically
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-01-11 haftmann 2011-01-11 "enriched_type" replaces less specific "type_lifting"
2010-12-21 haftmann 2010-12-21 tuned type_lifting declarations
2010-12-06 haftmann 2010-12-06 replace `type_mapper` by the more adequate `type_lifting`
2010-11-22 haftmann 2010-11-22 replaced misleading Fset/fset name -- these do not stand for finite sets