aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJosh Chen2018-09-12 09:10:08 +0200
committerJosh Chen2018-09-12 09:10:08 +0200
commitf0999d07a0f41284ba84fae725a0186e0ec9ff5f (patch)
treeda0230622b35e2be6a1739ce393fc7465632cfe4
parent9cc9be2c6a86a6e31049c1f3512fa0b9806e03e9 (diff)
Final commit before first release
Diffstat (limited to '')
-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