From b534129cb6e80bccb6bae98bc34cce1a599bfd13 Mon Sep 17 00:00:00 2001
From: Lorenzo Manacorda <lorenzo@mailbox.org>
Date: Wed, 29 Jan 2020 12:05:51 +0100
Subject: [PATCH] README: document rules.k

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

diff --git a/README.md b/README.md
index 1aa52290..cb803abd 100644
--- a/README.md
+++ b/README.md
@@ -100,6 +100,12 @@ Once the proof is complete, we can explore the generated symbolic execution trac
 klab debug <hash>
 ```
 
+### Embedded rules
+
+klab comes with a set of pre-defined K rewrite rules, additional to the ones
+defined in [evm-semantics](https://github.com/kframework/evm-semantics). They
+are located in `resources/rules.k`.
+
 ### Key Bindings
 
 Toggle different views by pressing any of the following keys: