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 |
Thu, 28 Jul 2005 15:19:49 +0200 | wenzelm | Sign.typ_unify; | changeset | files |