| Fri, 01 Jul 2005 22:29:19 +0200 |
wenzelm |
back to 1.28;
|
file |
diff |
annotate
|
| Thu, 30 Jun 2005 19:49:41 +0200 |
wenzelm |
revert to 1.27 due to obscure performance issues (!??);
|
file |
diff |
annotate
|
| Wed, 29 Jun 2005 15:13:32 +0200 |
wenzelm |
pass thy as explicit argument (the old ref was not safe
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 18:33:08 +0200 |
wenzelm |
accomodate identification of type Sign.sg and theory;
|
file |
diff |
annotate
|
| Thu, 21 Apr 2005 19:12:03 +0200 |
berghofe |
- Eliminated nodup_vars check.
|
file |
diff |
annotate
|
| Fri, 04 Mar 2005 15:07:34 +0100 |
skalberg |
Removed practically all references to Library.foldr.
|
file |
diff |
annotate
|
| 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
|
| Thu, 11 Nov 2004 10:26:40 +0100 |
paulson |
increased tracing and search bounds
|
file |
diff |
annotate
|
| Thu, 22 Apr 2004 10:52:32 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 18 Dec 2001 02:17:20 +0100 |
wenzelm |
tuned Type.unify;
|
file |
diff |
annotate
|
| Wed, 21 Nov 2001 00:36:51 +0100 |
wenzelm |
use tracing function for trace output;
|
file |
diff |
annotate
|
| Mon, 19 Nov 2001 17:32:49 +0100 |
berghofe |
Moved head_norm and fastype from unify.ML to envir.ML
|
file |
diff |
annotate
|
| Fri, 10 Mar 2000 14:57:06 +0100 |
berghofe |
Type.unify and Type.typ_match now use Vartab instead of association lists.
|
file |
diff |
annotate
|
| Fri, 19 Dec 1997 09:58:03 +0100 |
wenzelm |
adapted to new sort function;
|
file |
diff |
annotate
|