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