| Fri, 05 May 2006 22:11:19 +0200 | wenzelm | get rid of 'concl is'; | changeset | files |
| Fri, 05 May 2006 21:59:49 +0200 | wenzelm | more robust pretty_term_typ, using well-typed parse tree representation; | changeset | files |
| Fri, 05 May 2006 21:59:48 +0200 | wenzelm | replaced find_paths by irreducible_paths, i.e. produce paths within a Hasse diagram; | changeset | files |
| 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 |
| Fri, 05 May 2006 21:59:44 +0200 | wenzelm | extern_early: improved handling of undeclared constants; | changeset | files |