src/LCF/simpdata.ML
1996-01-30 clasohm 1996-01-30 expanded tabs
1993-12-09 nipkow 1993-12-09 deleted harmful basify, which pulled rewrite rules down to base type. Not needed for new simplifier.
1993-10-21 lcp 1993-10-21 simpdata/basify: now calls new fastype_of
1993-09-16 clasohm 1993-09-16 Initial revision