aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Univalence.thy2
1 files changed, 1 insertions, 1 deletions
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