| Thu, 28 Jul 2005 15:20:06 +0200 | wenzelm | tuned gen_all, forall_elim_list, implies_intr_list, standard; | changeset | files |
| Thu, 28 Jul 2005 15:20:05 +0200 | wenzelm | Sign.typ_unify; | changeset | files |
| 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 |
| Thu, 28 Jul 2005 15:20:01 +0200 | wenzelm | check_overloading replaces datatype overloading; | changeset | files |