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 |
Thu, 18 Feb 2010 17:27:18 +0100 | berghofe | Added function rewrite_term_top for top-down rewriting. | changeset | files |
Thu, 18 Feb 2010 16:08:38 +0100 | nipkow | merged | changeset | files |
Thu, 18 Feb 2010 16:08:26 +0100 | nipkow | added lemma | changeset | files |
Thu, 18 Feb 2010 23:42:57 +0100 | wenzelm | merged | changeset | files |