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 |
Thu, 18 Feb 2010 17:27:18 +0100 | berghofe | Added function rewrite_term_top for top-down rewriting. | changeset | files |