Thu, 18 Feb 2010 08:08:51 -0800 | huffman | fix looping call to simplifier | changeset | files |
Thu, 18 Feb 2010 17:28:46 +0100 | berghofe | merged | changeset | files |
Thu, 18 Feb 2010 17:28:02 +0100 | berghofe | Use top-down rewriting to contract abbreviations. | changeset | files |