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 |