| Wed, 13 Nov 1996 10:59:53 +0100 |
wenzelm |
tuned subsig;
|
file |
diff |
annotate
|
| Wed, 13 Nov 1996 10:38:08 +0100 |
paulson |
Removal of polymorphic equality via mem, subset, eq_set, etc
|
file |
diff |
annotate
|
| Fri, 01 Nov 1996 15:25:21 +0100 |
paulson |
Replaced foldl nodup_TVars by nodup_TVars_list -- for a big speedup on Poly/ML
|
file |
diff |
annotate
|
| Wed, 30 Oct 1996 11:19:09 +0100 |
paulson |
Changed some mem calls to mem_string for greater efficiency (not that it could matter)
|
file |
diff |
annotate
|
| Tue, 15 Oct 1996 10:55:57 +0200 |
paulson |
changed prettyprinting of ==>
|
file |
diff |
annotate
|
| Fri, 26 Jul 1996 12:27:22 +0200 |
paulson |
Inserted spaces in error messages to improve readability
|
file |
diff |
annotate
|
| Tue, 18 Jun 1996 16:17:38 +0200 |
paulson |
Translation infixes <->, etc., no longer available at top-level
|
file |
diff |
annotate
|
| Fri, 15 Mar 1996 12:01:19 +0100 |
berghofe |
Added some functions which allow redirection of Isabelle's output
|
file |
diff |
annotate
|
| Thu, 14 Mar 1996 10:40:21 +0100 |
berghofe |
Added some optimized versions of functions dealing with sets
|
file |
diff |
annotate
|
| Fri, 16 Feb 1996 12:34:18 +0100 |
paulson |
Elimination of fully-functorial style.
|
file |
diff |
annotate
|
| Tue, 13 Feb 1996 14:13:23 +0100 |
nipkow |
added nodup_Vars check in cterm_of. Prevents same var with distinct types.
|
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
|
| Fri, 22 Dec 1995 10:30:06 +0100 |
paulson |
"prep_const" now calls compress_type to ensure sharing among
|
file |
diff |
annotate
|
| Fri, 08 Dec 1995 10:36:36 +0100 |
paulson |
exports exn_type_msg for error messages. Calls new infer_types.
|
file |
diff |
annotate
|