| 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 |
| Thu, 28 Jul 2005 15:20:01 +0200 | wenzelm | check_overloading replaces datatype overloading; | changeset | files |