src/FOLP/intprover.ML
1996-01-30 clasohm 1996-01-30 expanded tabs
1996-01-29 clasohm 1996-01-29 expanded tabs
1993-09-16 clasohm 1993-09-16 Initial revision