Name Last modified Size Description Parent Directory - ProofFinderUtility.j..> 2011-05-01 14:27 60K ProofFinderImpl.java..> 2011-05-01 14:27 69K ModusPonensBo.java.html 2011-05-01 14:27 32K SubstPredBo.java.html 2011-05-01 14:27 34K