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
|