From 150f7eb27880a0081b8ec86d775dd626f507e779 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Wed, 19 Sep 2018 15:06:44 +0200
Subject: Renaming

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

(limited to 'Univalence.thy')

diff --git a/Univalence.thy b/Univalence.thy
index 3c9b520..c6733c6 100644
--- a/Univalence.thy
+++ b/Univalence.thy
@@ -7,7 +7,7 @@ Definitions of homotopy, equivalence and the univalence axiom.
 *)
 
 theory Univalence
-imports HoTT_Methods EqualProps Prod Sum
+imports HoTT_Methods Equality Prod Sum
 
 begin
 
-- 
cgit v1.2.3

