| 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
|