src/HOL/Library/Saturated.thy
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