From 60f32406e8c9712c0689d54a3dd4f8e17d310d52 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Mon, 25 May 2020 18:50:59 +0200
Subject: Lists + more reorganizing

---
 hott/Nat.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'hott/Nat.thy')

diff --git a/hott/Nat.thy b/hott/Nat.thy
index 311f2d9..e129be0 100644
--- a/hott/Nat.thy
+++ b/hott/Nat.thy
@@ -1,5 +1,5 @@
 theory Nat
-imports Base
+imports Equivalence
 
 begin
 
-- 
cgit v1.2.3