From 3a09986692adab6bf2bc10cd68639122f4a7f27b Mon Sep 17 00:00:00 2001
From: Clive Newstead <cnewstead@cmu.edu>
Date: Thu, 4 Feb 2016 14:00:48 -0500
Subject: [PATCH] Created clive.hlean

---
 homotopy/clive.hlean | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 homotopy/clive.hlean

diff --git a/homotopy/clive.hlean b/homotopy/clive.hlean
new file mode 100644
index 0000000..94b982e
--- /dev/null
+++ b/homotopy/clive.hlean
@@ -0,0 +1,9 @@
+import types.trunc types.arrow_2 types.fiber homotopy.susp homotopy.circle
+
+open eq is_trunc is_equiv nat equiv trunc function fiber circle
+
+namespace clive
+
+check 
+
+end clive