| 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 |
| Sun, 20 Dec 2009 15:44:29 +0100 | wenzelm | more Scala sources; | changeset | files |
| Sun, 20 Dec 2009 15:44:07 +0100 | wenzelm | simiplified result of keyword parser (again); | changeset | files |