-
Guillaume Melquiond authored
In addition, - scan below conjunctions in case there are equalities there too, - ignore predicate variables and "true" axioms, - output hypotheses in the proper order, - explicitly remove NonTrivialRing since it now survives the filtering.
f6b70129