src/LCF/simpdata.ML
Thu, 09 Dec 1993 11:39:33 +0100 nipkow deleted harmful basify, which pulled rewrite rules down to base type.
Thu, 21 Oct 1993 14:59:54 +0100 lcp simpdata/basify: now calls new fastype_of
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip