RDLProofSystem / src / main / java / models / formulas / Formula.java

package models.formulas;

public abstract class Formula {

	public abstract String toString();
	public abstract boolean equals(Object another);
	public abstract int hashCode();
	
}