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