From 91a059bcdffb838300848dea89a52841969b959d Mon Sep 17 00:00:00 2001
From: Niels van der Weide <n.vanderweide@science.ru.nl>
Date: Wed, 11 Oct 2017 13:37:48 +0200
Subject: [PATCH] Improved README

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

diff --git a/README.md b/README.md
index 85a5ef3..6e2ef9a 100644
--- a/README.md
+++ b/README.md
@@ -2,6 +2,8 @@
 
 Needed: https://github.com/HoTT/HoTT
 
+The Finite Sets library of the 'Finite Sets in Homotopy Type Theory' is in the directory 'Finite Sets'.
+
 The only part of the project that is buildable is the `FiniteSets` library.
 
 # Building