src/FOL/FOL.ML
1994-06-24 lcp 1994-06-24 FOL/FOL.ML/excluded_middle_tac: new
1993-09-16 clasohm 1993-09-16 Initial revision