Fri, 09 Sep 2011 06:45:39 +0200 | nipkow | tuned headers | changeset | files |
Thu, 08 Sep 2011 19:35:23 -0700 | huffman | Library/Saturated.thy: number_semiring class instance | changeset | files |
Thu, 08 Sep 2011 18:47:23 -0700 | huffman | remove lemmas nat_add_min_{left,right} in favor of generic lemmas min_add_distrib_{left,right} | changeset | files |