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

package inference.axioms;
import inference.EquationAxiom;

public class MapComposition extends EquationAxiom {

	public MapComposition() {
		super("Map Composition");
	}

}