fact: Example SysPrfEx2 : SysPrf L (fun x => List.In x [A; A->B; A -> B -> C]%fol) C.
imports: Coq(Arith Lists.List) hydras.Ackermann(fol folProp folProof Languages folLogic folLogic2 folLogic3 subAll Deduction primRec)