1 files changed, 1 insertions, 2 deletions
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