src/Provers/quantifier1.ML
1999-10-27 ago Fixed a bug in the EX simproc.
1997-11-28 ago Quantifier elimination procs.