From 80edbd08e13200d2c080ac281d19948bbbcd92e0 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Mon, 25 May 2020 17:09:54 +0200
Subject: Reorganize theory structure. In particular, the identity type moves
 out from under Spartan to HoTT. Spartan now only has Pi and Sigma.

---
 spartan/data/List.thy | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 spartan/data/List.thy

(limited to 'spartan/data')

diff --git a/spartan/data/List.thy b/spartan/data/List.thy
new file mode 100644
index 0000000..71a879b
--- /dev/null
+++ b/spartan/data/List.thy
@@ -0,0 +1,6 @@
+theory List
+imports Spartan
+
+begin
+
+end
-- 
cgit v1.2.3