src/FOLP/simpdata.ML
1996-01-30 clasohm 1996-01-30 expanded tabs
1996-01-29 clasohm 1996-01-29 expanded tabs
1995-04-06 lcp 1995-04-06 No longer builds the induction structure (from ../Provers/ind.ML)
1993-09-16 clasohm 1993-09-16 Initial revision