| Mon, 06 Oct 1997 18:39:54 +0200 | wenzelm | now uses Syntax.simple_str_of_sort; | file | diff | annotate |
| Wed, 06 Aug 1997 15:07:53 +0200 | wenzelm | added str_of_classrel; | file | diff | annotate |
| Fri, 18 Apr 1997 11:57:51 +0200 | wenzelm | removed least_sort; | file | diff | annotate |
| Wed, 16 Apr 1997 18:14:43 +0200 | wenzelm | Type classes and sorts (isolated from type.ML). | file | diff | annotate |