| Thu, 03 Mar 2005 12:43:01 +0100 | skalberg | Move towards standard functions. | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
| Mon, 21 Jun 2004 16:40:08 +0200 | wenzelm | added certify_class/sort; | file | diff | annotate |
| Sat, 05 Jun 2004 13:06:39 +0200 | wenzelm | tuned comments; | file | diff | annotate |
| Sat, 29 May 2004 15:03:59 +0200 | wenzelm | improved output; refer to Pretty.pp; | file | diff | annotate |
| Fri, 21 May 2004 21:21:51 +0200 | wenzelm | incorporate sort ops from term.ML; use Graph.T; misc cleanup; | file | diff | annotate |
| Fri, 07 Jul 2000 21:51:52 +0200 | wenzelm | inter_sort: keep normal! | file | diff | annotate |
| Wed, 29 Sep 1999 14:03:57 +0200 | wenzelm | mg_domain: exception DOMAIN; | file | diff | annotate |
| Fri, 23 Jul 1999 16:50:55 +0200 | wenzelm | replace assoc lists by Symtab.table; | file | diff | annotate |
| 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 |