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

package inference.axioms;

import inference.EquationAxiom;

public class RightNormalization extends EquationAxiom {

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