| 2011-09-08 | huffman | 2011-09-08 | remove lemmas nat_add_min_{left,right} in favor of generic lemmas min_add_distrib_{left,right} | file | diff | annotate |
| 2011-09-07 | haftmann | 2011-09-07 | theory of saturated naturals contributed by Peter Gammie | file | diff | annotate |