From f0999d07a0f41284ba84fae725a0186e0ec9ff5f Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Wed, 12 Sep 2018 09:10:08 +0200
Subject: Final commit before first release

---
 Univalence.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Univalence.thy')

diff --git a/Univalence.thy b/Univalence.thy
index 8599ba7..b7f4400 100644
--- a/Univalence.thy
+++ b/Univalence.thy
@@ -171,7 +171,7 @@ qed
 text "The univalence axiom."
 
 axiomatization univalence :: Term where
-  ua: "univalence: isequiv idtoeqv"
+  UA: "univalence: isequiv idtoeqv"
 
 
 end
-- 
cgit v1.2.3

