From 0d66c233b6dba82ffa93d7c060bcacc756284b25 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Wed, 27 Jun 2018 16:10:07 +0200
Subject: Library organization and formatting

---
 Equal.thy | 1 -
 1 file changed, 1 deletion(-)

(limited to 'Equal.thy')

diff --git a/Equal.thy b/Equal.thy
index 12ed272..02fe540 100644
--- a/Equal.thy
+++ b/Equal.thy
@@ -7,7 +7,6 @@ Equality type.
 
 theory Equal
   imports HoTT_Base
-
 begin
 
 axiomatization
-- 
cgit v1.2.3

