package com.naveensundarg.shadow.prover.representations.deduction;

import com.naveensundarg.shadow.prover.representations.Phrase;
import com.naveensundarg.shadow.prover.representations.formula.Formula;
import com.naveensundarg.shadow.prover.utils.CollectionUtils;

import java.util.Arrays;
import java.util.List;
import java.util.Set;

/**
 * Created by naveensundarg on 7/23/17.
 */
public abstract class Deduction extends Phrase{




}
