Sun, 07 Mar 2010 10:03:16 -0800 | huffman | merged | changeset | files |
Sun, 07 Mar 2010 09:57:30 -0800 | huffman | arith tactic uses 'priority' instead of 'warning' to print messages | changeset | files |
Sun, 07 Mar 2010 09:21:16 -0800 | huffman | add simp rules about Ints, Nats | changeset | files |
Sun, 07 Mar 2010 08:40:38 -0800 | huffman | add more simp rules for Ints | changeset | files |
Sun, 07 Mar 2010 07:42:46 -0800 | huffman | add lemmas Nats_cases and Nats_induct | changeset | files |
Sun, 07 Mar 2010 07:29:34 -0800 | huffman | generalize some lemmas, and remove a few unnecessary ones | changeset | files |
Sat, 06 Mar 2010 18:24:30 -0800 | huffman | generalize some lemmas from class linordered_ring_strict to linordered_ring | changeset | files |