From 5f66f4f399cdb73de48bfac92aabb4f8da30d209 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Tue, 16 Feb 2016 14:09:07 -0500
Subject: [PATCH] Add Chapter 4 code to README

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

diff --git a/README.md b/README.md
index 0b8ab47..03306b3 100644
--- a/README.md
+++ b/README.md
@@ -8,3 +8,4 @@ Just run `make` here to build everything, including the book `frap.pdf` and the
 
 * Chapter 2: `BasicSyntax.v`
 * Chapter 3: `Interpreters.v`
+* Chapter 4: `TransitionSystems.v`