diff --git a/ROOT b/ROOT
index 2aee2ca..842c958 100644
--- a/ROOT
+++ b/ROOT
@@ -3,3 +3,4 @@ session "isabelle-hacks" = "HOL" +
   theories
     Assert
     Hiding_Type_Variables
+    Nano_JSON