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

package inference.axioms;
import inference.EquationAxiom;

public class Uncurrying extends EquationAxiom {
	public Uncurrying() {
		super("Uncurrying");
	}

}