From db132e6bfda79ac01e6327164e82d938045955f9 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Fri, 11 Jul 2014 12:55:55 +0200
Subject: [PATCH] Add names to Coq README

---
 README.txt | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/README.txt b/README.txt
index 6ed3a4298..c27100046 100644
--- a/README.txt
+++ b/README.txt
@@ -1,4 +1,15 @@
-This folder contains the Coq development for Iris.
+This folder contains the Coq development for
+Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning
+by
+Ralf Jung <jung@mpi-sws.org>
+David Swasey <swasey@mpi-sws.org>
+Filip Sieczkowski <filips@cs.au.dk>
+Kasper Svendsen <ksvendsen@cs.au.dk>
+Aaron Turon <turon@mpi-sws.org>
+Lars Birkedal <birkedal@cs.au.dk>
+Derek Dreyer <dreyer@mpi-sws.org>
+
+
 It uses a Coq library in lib/ by Sieczkowski et al. to solve the recursive domain equation (see the paper for a reference).
 
 This folder is organized as follows:
-- 
GitLab