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 |