From 5346943a2b45302eead1e7bc16bc42067a0666ab Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Mon, 21 Jan 2019 15:56:19 +0000
Subject: [PATCH] Added Nano_JSON.thy.

---
 ROOT | 1 +
 1 file changed, 1 insertion(+)

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