Thu, 05 Jun 1997 13:30:24 +0200 |
paulson |
Removal of freeze_vars and thaw_vars (quite unused...)
|
file |
diff |
annotate
|
Thu, 16 Jan 1997 13:44:47 +0100 |
wenzelm |
added term order;
|
file |
diff |
annotate
|
Thu, 28 Nov 1996 10:44:24 +0100 |
paulson |
Replaced map...~~ by ListPair.map
|
file |
diff |
annotate
|
Fri, 28 Jun 1996 11:10:32 +0200 |
paulson |
Restored warning comment
|
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
|
Wed, 12 Oct 1994 16:31:01 +0100 |
wenzelm |
added is_equals: term -> bool;
|
file |
diff |
annotate
|
Tue, 06 Sep 1994 13:46:53 +0200 |
lcp |
Pure/type/unvarifyT: moved there from logic.ML
|
file |
diff |
annotate
|
Thu, 18 Aug 1994 17:56:07 +0200 |
lcp |
/unvarifyT, unvarify: moved to Pure/logic.ML
|
file |
diff |
annotate
|
Wed, 06 Jul 1994 11:36:00 +0200 |
wenzelm |
changed comment only;
|
file |
diff |
annotate
|
Thu, 26 May 1994 16:40:45 +0200 |
wenzelm |
added mk_type, dest_type, mk_inclass, dest_inclass (for axclasses);
|
file |
diff |
annotate
|
Tue, 04 Jan 1994 15:48:38 +0100 |
wenzelm |
commented out sig constraint of functor (for debugging purposes);
|
file |
diff |
annotate
|
Thu, 21 Oct 1993 14:56:12 +0100 |
lcp |
logic/mk_equals,mk_flexpair: now calls fastype_of instead of type_of.
|
file |
diff |
annotate
|
Thu, 16 Sep 1993 12:20:38 +0200 |
clasohm |
Initial revision
|
file |
diff |
annotate
|