fact: Definition McCarthy mcCarthy n := If n > 100 then n - 10 else mcCarthy (mcCarthy (n + 11)).
imports: TLC(LibTactics LibLogic LibReflect LibFun LibEpsilon LibList LibInt LibNat LibProd LibSum LibRelation LibWf LibFix LibStream) ZifyNat