diff --git a/README.md b/README.md
index c0400a01cfe0e0ca4c2ae0a6c0e328e264c92949..3fc1c84cd98d68f3f4c7136b97a636e57a2d507c 100644
--- a/README.md
+++ b/README.md
@@ -16,6 +16,7 @@ spectre-db/
 │     └─ [vulnerability-alias]/
 │        ├─ README.md
 │        ├─ [vulnerability].c
+│        ├─ [toy-semantics].thy
 │        └─ [architecture-triplet]/
 │           └─ [compiler]/
 |              ├─ README.md