diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
index 6b03a2576..a2c1dc84d 100644
--- a/RELEASE_NOTES.md
+++ b/RELEASE_NOTES.md
@@ -12,7 +12,7 @@ Version 4.next
 
 Version 4.11.0
 ==============
-- remove Z3_bool from API
+- remove `Z3_bool`, `Z3_TRUE`, `Z3_FALSE` from the API. Use `bool`, `true`, `false` instead.
 
 Version 4.10.2
 ==============
diff --git a/src/api/z3_api.h b/src/api/z3_api.h
index 6beee6d90..9955f91be 100644
--- a/src/api/z3_api.h
+++ b/src/api/z3_api.h
@@ -75,11 +75,6 @@ DEFINE_TYPE(Z3_rcf_num);
    - \c Z3_stats: statistical data for a solver.
 */
 
-/**
-   \brief Z3 Boolean type. It is just an alias for \c bool.
-*/
-typedef bool Z3_bool;
-
 /**
    \brief Z3 string type. It is just an alias for \ccode{const char *}.
 */
@@ -87,16 +82,6 @@ typedef const char * Z3_string;
 typedef char const*  Z3_char_ptr;
 typedef Z3_string * Z3_string_ptr;
 
-/**
-   \brief True value. It is just an alias for \c true.
-*/
-#define Z3_TRUE  true
-
-/**
-   \brief False value. It is just an alias for \c false.
-*/
-#define Z3_FALSE false
-
 /**
    \brief Lifted Boolean type: \c false, \c undefined, \c true.
 */