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

package inference.axioms;
import inference.EquationAxiom;

public class Constantness extends EquationAxiom {

	public Constantness() {
		super("Constantness");
		
	}
	
}