From 0373c763e248fa20a67616c249edfbbd90c975b1 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Fri, 17 Aug 2018 16:26:04 +0200
Subject: Update README.md

---
 README.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 4c2ae38..a784ab4 100644
--- a/README.md
+++ b/README.md
@@ -7,8 +7,9 @@ Clone the contents of this repository into `<Isabelle root directory>/src/HoTT`.
 ## Usage
 Set Isabelle's prover to Pure in the Theories panel, and import `HoTT`.
 
-## About and Collaboration
+## Collaboration
 Collaborators welcome!
+
 I've been working on this library as part of my Masters project, and there are very many improvements and developments that have yet to be implemented.
 If you're interested in working together on any part of this do drop me a line!
 
-- 
cgit v1.2.3