package inference.axioms;
import inference.EquationAxiom;

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

}