src/HOL/Library/Saturated.thy
2013-07-25 haftmann 2013-07-25 factored syntactic type classes for bot and top (by Alessandro Coglio)
2013-03-26 wenzelm 2013-03-26 merged
2013-03-26 wenzelm 2013-03-26 tuned imports;
2013-03-26 haftmann 2013-03-26 explicit sublocale dependency for Min/Max yields more appropriate Min/Max prefix for a couple of facts
2013-03-23 haftmann 2013-03-23 fundamental revision of big operators on sets
2012-10-12 wenzelm 2012-10-12 discontinued obsolete typedef (open) syntax;
2012-03-25 huffman 2012-03-25 merged fork with new numeral representation (see NEWS)
2011-12-27 haftmann 2011-12-27 be explicit about Finite_Set.fold
2011-11-30 wenzelm 2011-11-30 tuned header;
2011-09-11 huffman 2011-09-11 Library/Saturated.thy: 'Sat' abbreviates 'of_nat'
2011-09-08 huffman 2011-09-08 Library/Saturated.thy: number_semiring class instance
2011-09-08 huffman 2011-09-08 remove lemmas nat_add_min_{left,right} in favor of generic lemmas min_add_distrib_{left,right}
2011-09-07 haftmann 2011-09-07 theory of saturated naturals contributed by Peter Gammie