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

---
 EqualProps.thy | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'EqualProps.thy')

diff --git a/EqualProps.thy b/EqualProps.thy
index 3c9b971..8b83c5b 100644
--- a/EqualProps.thy
+++ b/EqualProps.thy
@@ -1,8 +1,7 @@
 (*  Title:  HoTT/EqualProps.thy
     Author: Josh Chen
-    Date:   Aug 2018
 
-Properties of equality.
+Properties of equality
 *)
 
 theory EqualProps
-- 
cgit v1.2.3

