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 |