diff --git a/docs/alpha/michelson.rst b/docs/alpha/michelson.rst
index b3ce82b33291c9fd47cc86fd572c82e8a5033dd1..7dca777896bf01f7a30f4e32885e38814ef0138c 100644
--- a/docs/alpha/michelson.rst
+++ b/docs/alpha/michelson.rst
@@ -707,21 +707,10 @@ Operations
Operations on unit
~~~~~~~~~~~~~~~~~~
-- ``UNIT``: Push a unit value onto the stack.
-
-::
-
- :: 'A -> unit : 'A
-
- > UNIT / S => Unit : S
-
-- ``COMPARE``: Unit comparison
-
-::
-
- :: unit : unit : 'S -> int : 'S
+A detailed description of the following instructions can be found in the `interactive Michelson reference manual `__.
- > COMPARE / Unit : Unit : S => 0 : S
+- ``UNIT``: Push a unit value onto the stack (`documentation `__).
+- ``COMPARE``: Unit comparison (`documentation `__).
Operations on type never
~~~~~~~~~~~~~~~~~~~~~~~~
@@ -762,48 +751,13 @@ branches.
Operations on booleans
~~~~~~~~~~~~~~~~~~~~~~
-- ``OR``
-
-::
-
- :: bool : bool : 'S -> bool : 'S
-
- > OR / x : y : S => (x | y) : S
-
-- ``AND``
-
-::
-
- :: bool : bool : 'S -> bool : 'S
-
- > AND / x : y : S => (x & y) : S
-
-- ``XOR``
-
-::
-
- :: bool : bool : 'S -> bool : 'S
-
- > XOR / x : y : S => (x ^ y) : S
-
-- ``NOT``
-
-::
-
- :: bool : 'S -> bool : 'S
-
- > NOT / x : S => ~x : S
-
-- ``COMPARE``: Boolean comparison
-
-::
-
- :: bool : bool : 'S -> int : 'S
+A detailed description of the following instructions can be found in the `interactive Michelson reference manual `__.
- > COMPARE / False : False : S => 0 : S
- > COMPARE / False : True : S => -1 : S
- > COMPARE / True : False : S => 1 : S
- > COMPARE / True : True : S => 0 : S
+- ``OR`` (`documentation `__).
+- ``AND`` (`documentation `__).
+- ``XOR`` (`documentation `__).
+- ``NOT`` (`documentation `__).
+- ``COMPARE``: Boolean comparison (`documentation `__).
Operations on integers and natural numbers
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~