Thu, 29 Sep 2005 12:43:40 +0200 | paulson | a name for empty_not_insert | changeset | files |
Thu, 29 Sep 2005 12:33:26 +0200 | berghofe | Simplifier now removes flex-flex constraints from theorem returned by prover. | changeset | files |
Thu, 29 Sep 2005 12:30:30 +0200 | berghofe | Optimized and exported flexflex_unique. | changeset | files |