ProverType.java

package bixie.prover;

public interface ProverType {

}