RDLProofSystem / src / main / java / inference / axioms / RightNormalization.java

package inference.axioms;
import inference.EquationAxiom;

public class RightNormalization extends EquationAxiom {

	public RightNormalization() {
		super("RIght Normalization");
		
		
	}
	
}