kc3-lang/kc3

diff --git a/README.md b/README.md
index 803954b..164ba0f 100644
--- a/README.md
+++ b/README.md
@@ -519,8 +519,6 @@ Script interpreter. Works the same as ic3 but is not interactive.
    - unwind protect
    - functions
      - return
-     - def
-     - & &1
    - livebook
      - gaussian
    - buf_sha256