001 package escjava.prover; 002 003 public class Formula { 004 private String formula; 005 006 Formula(String formula) { 007 this.formula = formula; 008 } 009 010 public String toString() { 011 return formula; 012 } 013 }