Package wytp.proof.rules.arithmetic

Class Summary

Class	Description
InequalityIntroduction	Responsible for emplying a form of transitive closure over inequalities.