| Thu, 16 Oct 2008 22:44:27 +0200 | wenzelm | added rules for sort_constraint, include in norm_hhf_eqs; | changeset | files |
| Thu, 16 Oct 2008 22:44:26 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 16 Oct 2008 22:44:25 +0200 | wenzelm | avoid accidental dependency of automated proof on sort equiv; | changeset | files |