1 files changed, 1 insertions, 0 deletions

diff --git a/ROOT b/ROOT
index 218dc9c..09e3042 100644
--- a/ROOT
+++ b/ROOT
@@ -22,3 +22,4 @@ session HoTT in hott = Spartan +
   theories
     Base
     Nat
+