src/Provers/quantifier1.ML
2001-12-17 ago now permutations of quantifiers are allowed as well.
2001-03-29 ago generalization of 1 point rules for ALL
2001-03-23 ago added simproc for bounded quantifiers
1999-10-27 ago Fixed a bug in the EX simproc.
1997-11-28 ago Quantifier elimination procs.