1 files changed, 2 insertions, 2 deletions

diff --git a/HoTT.thy b/HoTT.thy
index 38097b1..6c6ad21 100644
--- a/HoTT.thy
+++ b/HoTT.thy
@@ -22,8 +22,8 @@ Sum
 Unit
 
 (* Derived definitions and properties *)
-EqualProps
-Proj
+Equality
+Projections
 Univalence
 
 begin