Mon, 21 Dec 2009 08:32:04 +0100 | haftmann | prefer prefix "iso" over potentially misleading "is"; tuned | changeset | files |
Mon, 21 Dec 2009 08:32:03 +0100 | haftmann | moved lemmas o_eq_dest, o_eq_elim here | changeset | files |
Sat, 19 Dec 2009 09:07:04 -0800 | huffman | add 'morphisms' option to domain_isomorphism command | changeset | files |
Sat, 19 Dec 2009 06:07:33 -0800 | huffman | merged | changeset | files |
Fri, 18 Dec 2009 20:13:23 -0800 | huffman | generalize lemma add_minus_cancel, add lemma minus_add, simplify some proofs | changeset | files |
Fri, 18 Dec 2009 19:00:11 -0800 | huffman | rename equals_zero_I to minus_unique (keep old name too) | changeset | files |