| 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 |