| 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
|
| 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
|
| Thu, 28 Jul 2005 15:19:54 +0200 |
wenzelm |
print_theory: const constraints;
|
changeset |
files
|
| Thu, 28 Jul 2005 15:19:53 +0200 |
wenzelm |
Type.raw_instance, Type.raw_unify, Term.zero_var_indexesT;
|
changeset |
files
|
| Thu, 28 Jul 2005 15:19:51 +0200 |
wenzelm |
Sign.typ_match;
|
changeset |
files
|