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

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

(limited to 'ProdProps.thy')

diff --git a/ProdProps.thy b/ProdProps.thy
index adadb29..3e51102 100644
--- a/ProdProps.thy
+++ b/ProdProps.thy
@@ -1,8 +1,7 @@
 (*  Title:  HoTT/ProdProps.thy
     Author: Josh Chen
-    Date:   Aug 2018
 
-Properties of the dependent product.
+Properties of the dependent product
 *)
 
 theory ProdProps
-- 
cgit v1.2.3

