From e1be5f97bb2a42b3179bc24b118d69af137f8e5d Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Sat, 18 Aug 2018 21:28:21 +0200
Subject: Regrouping type rules

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

(limited to 'HoTT_Base.thy')

diff --git a/HoTT_Base.thy b/HoTT_Base.thy
index 1b8c526..a229e83 100644
--- a/HoTT_Base.thy
+++ b/HoTT_Base.thy
@@ -1,6 +1,5 @@
 (*  Title:  HoTT/HoTT_Base.thy
     Author: Josh Chen
-    Date:   Aug 2018
 
 Basic setup and definitions of a homotopy type theory object logic with a cumulative universe hierarchy à la Russell.
 *)
-- 
cgit v1.2.3

