fact: Example PrfEx10: Prf L [] (v#2 = v#3 -> v#0 = v#1 -> R v#2 v#0 <-> R v#3 v#1)%fol.
imports: Coq(Arith Lists.List) hydras.Ackermann(fol folProp folProof Languages folLogic folLogic2 folLogic3 subAll Deduction primRec)