| Thu, 28 Jul 2005 15:20:04 +0200 | wenzelm | Sign.typ_unify; | changeset | files |
| Thu, 28 Jul 2005 15:20:03 +0200 | wenzelm | typ_match, unify: canonical argument order; | changeset | files |
| Thu, 28 Jul 2005 15:20:02 +0200 | wenzelm | added weaken, adjust_maxidx_thm; | changeset | files |