Final commit before first release

jaycech3n · Sep 12, 2018 · f0999d0 · f0999d0
1 parent 9cc9be2
commit f0999d0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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