| Sun, 07 May 2006 00:21:13 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 07 May 2006 00:00:13 +0200 | krauss | function-package: Changed record usage to make sml/nj happy... | changeset | files |
| 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 |