| 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 |
| Fri, 18 Dec 2009 18:48:27 -0800 | huffman | add lemma swap_triple | changeset | files |
| Sun, 20 Dec 2009 18:02:13 +0100 | wenzelm | improve performance by reordering of parser combinators; | changeset | files |
| Sun, 20 Dec 2009 17:47:59 +0100 | wenzelm | added nested comments; | changeset | files |