From 58a14ab988e30d81c256c6a23089d7aabea7168c Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Sat, 5 Sep 2020 15:25:49 +0200
Subject: [PATCH] Add `si_logic` folder to README.

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

diff --git a/README.md b/README.md
index 2b7c7639a..07c92d7dc 100644
--- a/README.md
+++ b/README.md
@@ -98,6 +98,8 @@ followed by `make build-dep`.
 * The folder [tests](theories/tests) contains modules we use to test our
   infrastructure. Users of the Iris Coq library should *not* depend on these
   modules; they may change or disappear without any notice.
+* The folder [si_logic](theories/si_logic) defines a "plain" step-indexed logic
+  and shows that it is an instance of the BI interface.
 
 ## Case Studies
 
-- 
GitLab