src/FOLP/intprover.ML
1997-12-19 wenzelm 1997-12-19 adapted to new sort function;
1997-02-10 paulson 1997-02-10 Renamed structure Int (intuitionistic prover) to IntPr to prevent clash with Basis Library structure Int
1997-01-31 paulson 1997-01-31 ex_impE was incorrectly listed as Safe
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