Checks if the lk proofs p1 and p2 are equal modulo the predicate pred.
Checks if the lk proofs p1 and p2 are equal modulo the predicate pred. The branching structure must be kept intact.
an LK proof
the LK proof to compare to
a predicate returning true whenever the two rule types should be considered isomorphic
true iff p1 and p2 are ismorphic modulo pred
Created by marty on 8/25/14.