| Thu, 16 Oct 2008 22:44:36 +0200 | wenzelm | conclude_goal: precise goal context, include all sorts from context into statement, check shyps of result; | changeset | files |
| Thu, 16 Oct 2008 22:44:35 +0200 | wenzelm | added make; | changeset | files |
| Thu, 16 Oct 2008 22:44:34 +0200 | wenzelm | maintain sort occurrences of declared terms; | changeset | files |
| Thu, 16 Oct 2008 22:44:33 +0200 | wenzelm | added weaken_sorts; | changeset | files |
| Thu, 16 Oct 2008 22:44:32 +0200 | wenzelm | added make, minimal_sorts; | changeset | files |
| Thu, 16 Oct 2008 22:44:31 +0200 | wenzelm | added const sort_constraint with syntax SORT_CONSTRAINT -- logically vacous; | changeset | files |