coq readme.

209ec3aa · David Swasey · f07179bc · 209ec3aa
Commit 209ec3aa authored Oct 24, 2014 by David Swasey
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

README.txt README.txt +2 -2

No files found.
--- 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