correct issue deep in OL Equivalence checker related to quantifiers.
Compare changes
Files
3- SimonGuilloud authored
@@ -108,12 +108,6 @@ private[fol] trait EquivalenceChecker extends FormulaDefinitions {
@@ -400,7 +394,7 @@ private[fol] trait EquivalenceChecker extends FormulaDefinitions {