From 188566719d28a140602a24ef823b28b81e45cb85 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Thu, 16 Apr 2020 15:37:43 +0200
Subject: update for Isabelle2020

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

(limited to 'ROOT')

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
+
-- 
cgit v1.2.3