package inference.axioms;

import inference.EquationAxiom;

public class RightNormalization extends EquationAxiom {

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