diff --git a/docs/alpha/michelson.rst b/docs/alpha/michelson.rst
index bc10cbb6b388a2d1a2f770c7658ababcf99b38c0..fcfb3bb3e050140dfeacf529cd0cd5a90734157e 100644
--- a/docs/alpha/michelson.rst
+++ b/docs/alpha/michelson.rst
@@ -987,50 +987,13 @@ A detailed description of the following instructions can be found in the `intera
BLS12-381 primitives
~~~~~~~~~~~~~~~~~~~~~~~~
-- ``NEG``: Negate a curve point or field element.
-
-::
-
- :: bls12_381_g1 : 'S -> bls12_381_g1 : 'S
- :: bls12_381_g2 : 'S -> bls12_381_g2 : 'S
- :: bls12_381_fr : 'S -> bls12_381_fr : 'S
-
-- ``ADD``: Add two curve points or field elements.
-
-::
-
- :: bls12_381_g1 : bls12_381_g1 : 'S -> bls12_381_g1 : 'S
- :: bls12_381_g2 : bls12_381_g2 : 'S -> bls12_381_g2 : 'S
- :: bls12_381_fr : bls12_381_fr : 'S -> bls12_381_fr : 'S
-
-- ``MUL``: Multiply a curve point or field element by a scalar field element. Fr
- elements can be built from naturals by multiplying by the unit of Fr using ``PUSH bls12_381_fr 1; MUL``. Note
- that the multiplication will be computed using the natural modulo the order
- of Fr.
-
-::
-
- :: bls12_381_g1 : bls12_381_fr : 'S -> bls12_381_g1 : 'S
- :: bls12_381_g2 : bls12_381_fr : 'S -> bls12_381_g2 : 'S
- :: bls12_381_fr : bls12_381_fr : 'S -> bls12_381_fr : 'S
- :: nat : bls12_381_fr : 'S -> bls12_381_fr : 'S
- :: int : bls12_381_fr : 'S -> bls12_381_fr : 'S
- :: bls12_381_fr : nat : 'S -> bls12_381_fr : 'S
- :: bls12_381_fr : int : 'S -> bls12_381_fr : 'S
-
-- ``INT``: Convert a field element to type ``int``. The returned value is always between ``0`` (inclusive) and the order of Fr (exclusive).
-
-::
-
- :: bls12_381_fr : 'S -> int : 'S
-
-- ``PAIRING_CHECK``:
- Verify that the product of pairings of the given list of points is equal to 1 in Fq12. Returns ``true`` if the list is empty.
- Can be used to verify if two pairings P1 and P2 are equal by verifying P1 * P2^(-1) = 1.
-
-::
+A detailed description of the following instructions can be found in the `interactive Michelson reference manual `__.
- :: list (pair bls12_381_g1 bls12_381_g2) : 'S -> bool : 'S
+- ``NEG``: Negate a curve point or field element (`documentation `__).
+- ``ADD``: Add two curve points or field elements (`documentation `__).
+- ``MUL``: Multiply a curve point or scalar field element by an integer or a scalar field element (`documentation `__).
+- ``INT``: Convert a field element to type ``int`` (`documentation `__).
+- ``PAIRING_CHECK``: Verify that the product of pairings of the given list of points is equal to 1 in Fq12 (`documentation `__).
Sapling operations