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

---
 ex/Methods.thy | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'ex/Methods.thy')

diff --git a/ex/Methods.thy b/ex/Methods.thy
index 871964f..415fbc3 100644
--- a/ex/Methods.thy
+++ b/ex/Methods.thy
@@ -1,6 +1,5 @@
 (*  Title:  HoTT/ex/Methods.thy
     Author: Josh Chen
-    Date:   Aug 2018
 
 HoTT method usage examples
 *)
@@ -74,4 +73,4 @@ proof compute
 qed fact
 
 
-end
\ No newline at end of file
+end
-- 
cgit v1.2.3

