From 209ec3aa253b41aad06288be5ec2e60206bf4402 Mon Sep 17 00:00:00 2001
From: David Swasey <swasey@mpi-sws.org>
Date: Fri, 24 Oct 2014 10:09:22 +0200
Subject: [PATCH] coq readme.

---
 README.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.txt b/README.txt
index cf91355a4..b73d8cffc 100644
--- a/README.txt
+++ b/README.txt
@@ -97,8 +97,8 @@ OVERVIEW OF LEMMAS
   -----------------------
   VSTimeless   vsTimeless
   NewInv       vsNewInv
-  VSOpen       vsOpen
-  VSClose      vsClose
+  InvOpen      vsOpen
+  InvClose     vsClose
   VSTrans      vsTrans
   VSImp        vsEnt
   VSFrame      vsFrame
-- 
GitLab