aboutsummaryrefslogtreecommitdiff
path: root/ROOT
diff options
context:
space:
mode:
authorJosh Chen2020-04-16 15:37:43 +0200
committerJosh Chen2020-04-16 15:37:43 +0200
commit188566719d28a140602a24ef823b28b81e45cb85 (patch)
treecea4cff91ba4329a9846b69ebf069c949827a419 /ROOT
parent88df8512841c1f2cb7016d2b604b9250582d4b8d (diff)
update for Isabelle2020
Diffstat (limited to '')
-rw-r--r--ROOT1
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
+