| Fri, 05 May 2006 21:59:47 +0200 | wenzelm | replaced Sorts.DOMAIN by general Sorts.CLASS_ERROR; | changeset | files |
| Fri, 05 May 2006 21:59:46 +0200 | wenzelm | added class_error and exception CLASS_ERROR (supercedes DOMAIN); | changeset | files |
| Fri, 05 May 2006 21:59:45 +0200 | wenzelm | added syntax for _type_constraint_; | changeset | files |