| 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 |
| Sat, 06 Mar 2010 16:02:22 -0800 | huffman | add case_names attribute to casedist and ind rules | changeset | files |
| Sat, 06 Mar 2010 08:08:30 -0800 | huffman | add some lemmas about complete lattices | changeset | files |