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
|
Fri, 01 Sep 1995 13:27:48 +0200 |
clasohm |
added same_sg and same_thm
|
file |
diff |
annotate
|
Fri, 01 Sep 1995 13:13:19 +0200 |
wenzelm |
nonempty_sort: no longer var names as args;
|
file |
diff |
annotate
|
Tue, 01 Aug 1995 17:19:17 +0200 |
wenzelm |
added (my own version of) nonempty_sort: sg -> (string * sort) list -> sort
|
file |
diff |
annotate
|
Tue, 01 Aug 1995 12:36:05 +0200 |
nipkow |
Added nonempty_sort.
|
file |
diff |
annotate
|
Fri, 07 Jul 1995 13:57:24 +0200 |
clasohm |
moved mixfix syntax to Syntax/mixfix.ML
|
file |
diff |
annotate
|
Mon, 03 Jul 1995 15:39:53 +0200 |
clasohm |
added cargs for curried function application
|
file |
diff |
annotate
|
Mon, 26 Jun 1995 14:33:11 +0200 |
wenzelm |
added add_trrules_i;
|
file |
diff |
annotate
|