From 15a52357929c25517bc12ea3f8148d5ba0aa8dc8 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 8 May 2016 19:00:15 -0400 Subject: [PATCH] MessagesAndRefinement: add to README --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 27524b8..8d8cf86 100644 --- a/README.md +++ b/README.md @@ -19,3 +19,4 @@ Just run `make` here to build everything, including the book `frap.pdf` and the * Chapter 12: `SeparationLogic.v` * Chapter 13: `SharedMemory.v` * Chapter 14: `ConcurrentSeparationLogic.v` +* Chapter 15: `MessagesAndRefinement.v`