fact: Example t1_0: Term LNN := apply LNN Plus_ (Tcons (var 1) (Tcons (apply LNN Zero_ Tnil) Tnil )).
imports: Coq(Arith Lists.List) hydras.Ackermann(fol folProp folProof Languages folLogic folLogic2 folLogic3 subAll Deduction primRec)