alexanderskulikov
diff --git a/‎…tebooks/03_recursion_and_induction.ipynb‎ ‎…tebooks/04_recursion_and_induction.ipynb‎notebooks/03_recursion_and_induction.ipynb renamed to notebooks/04_recursion_and_induction.ipynb b/‎…tebooks/03_recursion_and_induction.ipynb‎ ‎…tebooks/04_recursion_and_induction.ipynb‎notebooks/03_recursion_and_induction.ipynb renamed to notebooks/04_recursion_and_induction.ipynb
diff --git a/‎notebooks/04_invariants.ipynb‎ ‎notebooks/05_invariants.ipynb‎notebooks/04_invariants.ipynb renamed to notebooks/05_invariants.ipynb b/‎notebooks/04_invariants.ipynb‎ ‎notebooks/05_invariants.ipynb‎notebooks/04_invariants.ipynb renamed to notebooks/05_invariants.ipynb
diff --git a/‎notebooks/index.ipynb‎
Lines changed: 5 additions & 2 deletions b/‎notebooks/index.ipynb‎
Lines changed: 5 additions & 2 deletions
@@ -21,7 +21,8 @@
     },
     "colab": {
       "name": "index.ipynb",
-      "provenance": []
+      "provenance": [],
+      "collapsed_sections": []
     }
   },
   "cells": [
@@ -53,7 +54,9 @@
         "\n",
         "[Chapter 2. Finding an Example](02_finding_an_example.ipynb)\n",
         "\n",
-        "[Chapter 4. Recursion and Induction](03_recursion_and_induction.ipynb)"
+        "[Chapter 4. Recursion and Induction](04_recursion_and_induction.ipynb)\n",
+        "\n",
+        "[Chapter 5. Invariants](05_invariants.ipynb)"
       ]
     },
     {