From 2feb56660700af107abb5a28a7120052ac405518 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Sun, 31 Jan 2021 02:54:51 +0000
Subject: rename things + some small changes

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

(limited to 'hott/List_HoTT.thy')

diff --git a/hott/List_HoTT.thy b/hott/List_HoTT.thy
index 9bd1517..d866f59 100644
--- a/hott/List_HoTT.thy
+++ b/hott/List_HoTT.thy
@@ -1,6 +1,6 @@
 theory List_HoTT
 imports
-  Spartan.List
+  MLTT.List
   Nat
 
 begin
-- 
cgit v1.2.3