| Thu, 16 Oct 2008 22:44:31 +0200 | wenzelm | added const sort_constraint with syntax SORT_CONSTRAINT -- logically vacous; | changeset | files |
| Thu, 16 Oct 2008 22:44:30 +0200 | wenzelm | added check_shyps, which reject pending sort hypotheses; | changeset | files |
| Thu, 16 Oct 2008 22:44:29 +0200 | wenzelm | Drule.norm_hhf_eqs; | changeset | files |