| Sat, 29 May 2004 15:03:59 +0200 |
wenzelm |
improved output; refer to Pretty.pp;
|
file |
diff |
annotate
|
| Fri, 21 May 2004 21:25:34 +0200 |
wenzelm |
incorporate type inference interface from type.ML;
|
file |
diff |
annotate
|
| Sat, 01 May 2004 22:08:57 +0200 |
wenzelm |
improved Term.invent_names;
|
file |
diff |
annotate
|
| Mon, 21 Oct 2002 17:16:24 +0200 |
berghofe |
Replaced variantlist (quadratic) by gen_names (linear).
|
file |
diff |
annotate
|
| Mon, 07 Oct 2002 19:01:51 +0200 |
nipkow |
take/drop -> splitAt
|
file |
diff |
annotate
|
| Thu, 30 Mar 2000 14:20:42 +0200 |
wenzelm |
support polymorphic Vars;
|
file |
diff |
annotate
|
| Wed, 05 Jan 2000 11:37:44 +0100 |
wenzelm |
support for dummy variables (anyT, logicT);
|
file |
diff |
annotate
|
| Wed, 29 Sep 1999 13:52:01 +0200 |
wenzelm |
handle Sorts.DOMAIN;
|
file |
diff |
annotate
|
| Fri, 09 Oct 1998 15:28:04 +0200 |
nipkow |
Unified treatment of type error msgs.
|
file |
diff |
annotate
|
| Fri, 09 Oct 1998 14:36:48 +0200 |
nipkow |
More pretty breaks in error msgs.
|
file |
diff |
annotate
|
| Mon, 25 May 1998 21:11:46 +0200 |
wenzelm |
remove seq2, scan (use seq2, foldl_map from library.ML);
|
file |
diff |
annotate
|
| Mon, 06 Oct 1997 18:40:24 +0200 |
wenzelm |
eliminated raise_term, raise_typ;
|
file |
diff |
annotate
|
| Wed, 09 Jul 1997 16:54:17 +0200 |
wenzelm |
improved type checking errors;
|
file |
diff |
annotate
|
| Fri, 18 Apr 1997 11:55:14 +0200 |
wenzelm |
tuned err msg;
|
file |
diff |
annotate
|
| Thu, 17 Apr 1997 19:05:01 +0200 |
wenzelm |
tuned error msgs;
|
file |
diff |
annotate
|
| Thu, 17 Apr 1997 18:46:58 +0200 |
wenzelm |
improved type check error messages;
|
file |
diff |
annotate
|
| Wed, 16 Apr 1997 18:15:32 +0200 |
wenzelm |
Type inference (isolated from type.ML, completely reimplemented).
|
file |
diff |
annotate
|