Sat, 05 Jun 2004 13:06:39 +0200 |
tuned comments;
|
file | diff | annotate |
Sat, 29 May 2004 15:03:59 +0200 |
improved output; refer to Pretty.pp;
|
file | diff | annotate |
Fri, 21 May 2004 21:21:51 +0200 |
incorporate sort ops from term.ML; use Graph.T; misc cleanup;
|
file | diff | annotate |
Fri, 07 Jul 2000 21:51:52 +0200 |
inter_sort: keep normal!
|
file | diff | annotate |
Wed, 29 Sep 1999 14:03:57 +0200 |
mg_domain: exception DOMAIN;
|
file | diff | annotate |
Fri, 23 Jul 1999 16:50:55 +0200 |
replace assoc lists by Symtab.table;
|
file | diff | annotate |
Mon, 06 Oct 1997 18:39:54 +0200 |
now uses Syntax.simple_str_of_sort;
|
file | diff | annotate |
Wed, 06 Aug 1997 15:07:53 +0200 |
added str_of_classrel;
|
file | diff | annotate |
Fri, 18 Apr 1997 11:57:51 +0200 |
removed least_sort;
|
file | diff | annotate |
Wed, 16 Apr 1997 18:14:43 +0200 |
Type classes and sorts (isolated from type.ML).
|
file | diff | annotate |