| Fri, 14 Dec 2001 11:51:52 +0100 |
wenzelm |
added type_env function;
|
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, 31 Aug 2001 16:08:45 +0200 |
berghofe |
- exported SAME exception
|
file |
diff |
annotate
|
| Fri, 17 Nov 2000 18:49:29 +0100 |
wenzelm |
added beta_norm;
|
file |
diff |
annotate
|
| Fri, 10 Mar 2000 14:58:25 +0100 |
berghofe |
Envir now uses Vartab instead of association lists.
|
file |
diff |
annotate
|
| Mon, 10 Aug 1998 17:04:28 +0200 |
wenzelm |
fixed comment;
|
file |
diff |
annotate
|
| Mon, 18 Nov 1996 16:27:34 +0100 |
paulson |
Speedups involving norm
|
file |
diff |
annotate
|
| Wed, 13 Nov 1996 10:41:50 +0100 |
paulson |
In-lined the one function call to normTsh
|
file |
diff |
annotate
|
| Fri, 01 Nov 1996 15:14:25 +0100 |
paulson |
Deleted Olist constructor. Replaced minidx by "above" function
|
file |
diff |
annotate
|
| Fri, 16 Feb 1996 12:19:47 +0100 |
paulson |
Elimination of fully-functorial style.
|
file |
diff |
annotate
|
| Mon, 29 Jan 1996 14:16:13 +0100 |
clasohm |
inserted tabs again
|
file |
diff |
annotate
|
| Mon, 29 Jan 1996 13:56:41 +0100 |
clasohm |
removed tabs
|
file |
diff |
annotate
|
| Mon, 21 Nov 1994 11:27:10 +0100 |
lcp |
Pure/envir/norm_term: replaced equality test for [] by null
|
file |
diff |
annotate
|
| Mon, 24 Jan 1994 12:03:53 +0100 |
wenzelm |
added is_empty: env -> bool, minidx: env -> int option;
|
file |
diff |
annotate
|
| Thu, 16 Sep 1993 12:20:38 +0200 |
clasohm |
Initial revision
|
file |
diff |
annotate
|