public static class TransactionProof.Proof extends java.lang.Object
java.util.List<java.lang.String>
indices
lemmas
Proof(java.util.List<java.lang.String> indices, java.util.List<java.lang.String> lemmas)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public java.util.List<java.lang.String> indices
public java.util.List<java.lang.String> lemmas
public Proof(java.util.List<java.lang.String> indices, java.util.List<java.lang.String> lemmas)