Sun, 09 May 2010 09:39:01 -0700 | huffman | merged | changeset | files |
Sat, 08 May 2010 17:06:58 -0700 | huffman | add lemmas one_less_inverse and one_le_inverse | changeset | files |
Sun, 09 May 2010 15:28:44 +0200 | krauss | do not redeclare [simp] rules, to avoid "duplicate rewrite rule" warnings | changeset | files |