auto gitdoc commit

src/HottBook/Chapter2.lagda.md

@@ -397,6 +397,7 @@ theorem2∙13∙1 m n = encode m n , equiv
       let
         what = encode zero zero refl
         what2 = decode zero zero c
+        third = theorem2∙8∙1 what c
       in {!   !}
     backward (suc m) (suc n) c = {!   !}