Inherited from Serializable
Inherited from Serializable
Inherited from Product
Inherited from Equals
Inherited from TreeNode
Inherited from Any
Inherited by implicit conversion any2stringadd from
ProofNode[T] to any2stringadd[ProofNode[T]]
Inherited by implicit conversion StringFormat from
ProofNode[T] to StringFormat[ProofNode[T]]
Created by marty on 3/18/14.