aboutsummaryrefslogtreecommitdiff
path: root/ex
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--ex/HoTT book/Ch1.thy (renamed from ex/HoTT Book/Ch1.thy)7
1 files changed, 7 insertions, 0 deletions
diff --git a/ex/HoTT Book/Ch1.thy b/ex/HoTT book/Ch1.thy
index 84a5cf4..65de875 100644
--- a/ex/HoTT Book/Ch1.thy
+++ b/ex/HoTT book/Ch1.thy
@@ -1,3 +1,10 @@
+(* Title: HoTT/ex/HoTT book/Ch1.thy
+ Author: Josh Chen
+ Date: Aug 2018
+
+A formalization of some content of Chapter 1 of the Homotopy Type Theory book.
+*)
+
theory Ch1
imports "../../HoTT"
begin