| Thu, 28 Jul 2005 15:20:01 +0200 | wenzelm | check_overloading replaces datatype overloading; | changeset | files |
| Thu, 28 Jul 2005 15:20:00 +0200 | wenzelm | added add_tfreesT, add_tfrees; | changeset | files |
| Thu, 28 Jul 2005 15:19:59 +0200 | wenzelm | norm_hhf_rule: Thm.adjust_maxidx_thm before Drule.gen_all; | changeset | files |
| Thu, 28 Jul 2005 15:19:58 +0200 | wenzelm | added add_const_constraint(_i), const_constraint; | changeset | files |
| Thu, 28 Jul 2005 15:19:57 +0200 | wenzelm | adapted Type.typ_match; | changeset | files |
| Thu, 28 Jul 2005 15:19:56 +0200 | wenzelm | Sign.typ_unify; | changeset | files |
| Thu, 28 Jul 2005 15:19:55 +0200 | wenzelm | Term.bound; | changeset | files |