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 |