haftmann [Mon, 21 Dec 2009 08:32:22 +0100] rev 34142
merged
haftmann [Mon, 21 Dec 2009 08:32:04 +0100] rev 34141
clarified various user-defined syntax issues
haftmann [Mon, 21 Dec 2009 08:32:04 +0100] rev 34140
prefer prefix "iso" over potentially misleading "is"; tuned
haftmann [Mon, 21 Dec 2009 08:32:03 +0100] rev 34139
moved lemmas o_eq_dest, o_eq_elim here
huffman [Sat, 19 Dec 2009 09:07:04 -0800] rev 34138
add 'morphisms' option to domain_isomorphism command
huffman [Sat, 19 Dec 2009 06:07:33 -0800] rev 34137
merged
huffman [Fri, 18 Dec 2009 20:13:23 -0800] rev 34136
generalize lemma add_minus_cancel, add lemma minus_add, simplify some proofs
huffman [Fri, 18 Dec 2009 19:00:11 -0800] rev 34135
rename equals_zero_I to minus_unique (keep old name too)
huffman [Fri, 18 Dec 2009 18:48:27 -0800] rev 34134
add lemma swap_triple
wenzelm [Fri, 18 Dec 2009 16:52:36 +0100] rev 34133
tuned;