diff --git a/docs/_build/doctrees/environment.pickle b/docs/_build/doctrees/environment.pickle
index e81f308..5d8af46 100644
Binary files a/docs/_build/doctrees/environment.pickle and b/docs/_build/doctrees/environment.pickle differ
diff --git a/docs/_build/doctrees/index.doctree b/docs/_build/doctrees/index.doctree
index 325a064..e0bd15b 100644
Binary files a/docs/_build/doctrees/index.doctree and b/docs/_build/doctrees/index.doctree differ
diff --git a/docs/_build/html/_sources/index.rst.txt b/docs/_build/html/_sources/index.rst.txt
index ba400f2..54fc1aa 100644
--- a/docs/_build/html/_sources/index.rst.txt
+++ b/docs/_build/html/_sources/index.rst.txt
@@ -320,7 +320,7 @@ Moreover, if the density is discrete, the program must include the fact ::
 	disc(predicate).
 
 also after :code:`:- end_lpad.`
-See for example `gauss_mean_est_user.pl <http://cplint.eu/e/gauss_mean_est.pl>`_ and `binomial.pl <http://cplint.eu/e/binomial.pl>`_
+See for example `gauss_mean_est_user.pl <http://cplint.eu/e/gauss_mean_est_user.pl>`_
 
 Distributional Clauses Syntax
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
diff --git a/docs/_build/html/index.html b/docs/_build/html/index.html
index 9c7b9b3..4468425 100644
--- a/docs/_build/html/index.html
+++ b/docs/_build/html/index.html
@@ -329,7 +329,7 @@ <h3>Continuous Probability Densities<a class="headerlink" href="#continuous-prob
 </pre></div>
 </div>
 <p>also after <code class="code docutils literal notranslate"><span class="pre">:-</span> <span class="pre">end_lpad.</span></code>
-See for example <a class="reference external" href="http://cplint.eu/e/gauss_mean_est.pl">gauss_mean_est_user.pl</a> and <a class="reference external" href="http://cplint.eu/e/binomial.pl">binomial.pl</a></p>
+See for example <a class="reference external" href="http://cplint.eu/e/gauss_mean_est_user.pl">gauss_mean_est_user.pl</a></p>
 <section id="distributional-clauses-syntax">
 <h4>Distributional Clauses Syntax<a class="headerlink" href="#distributional-clauses-syntax" title="Permalink to this headline">¶</a></h4>
 <p>You can also use the syntax of Distributional Clauses (DC) <span id="id5">[<a class="reference internal" href="#id48" title="Davide Nitti, Tinne De Laet, and Luc De Raedt. Probabilistic logic programming for hybrid relational domains. Mach. Learn., 103(3):407–449, 2016. URL: http://dx.doi.org/10.1007/s10994-016-5558-8, doi:10.1007/s10994-016-5558-8.">NDLDR16</a>]</span>.
diff --git a/docs/_build/latex/cplint.pdf b/docs/_build/latex/cplint.pdf
index ee379f5..97669b5 100644
Binary files a/docs/_build/latex/cplint.pdf and b/docs/_build/latex/cplint.pdf differ
diff --git a/docs/_build/latex/cplint.tex b/docs/_build/latex/cplint.tex
index 08ed630..cab1b64 100644
--- a/docs/_build/latex/cplint.tex
+++ b/docs/_build/latex/cplint.tex
@@ -60,7 +60,7 @@
 
 
 \title{cplint Documentation}
-\date{Nov 06, 2023}
+\date{Nov 07, 2023}
 \release{4.5}
 \author{Riguzzi Fabrizio, Azzolini Damiano}
 \newcommand{\sphinxlogo}{\vbox{}}
@@ -537,7 +537,7 @@ \section{Continuous Probability Densities}
 
 \sphinxAtStartPar
 also after \sphinxcode{\sphinxupquote{:\sphinxhyphen{} end\_lpad.}}
-See for example \sphinxhref{http://cplint.eu/e/gauss\_mean\_est.pl}{gauss\_mean\_est\_user.pl} and \sphinxhref{http://cplint.eu/e/binomial.pl}{binomial.pl}
+See for example \sphinxhref{http://cplint.eu/e/gauss\_mean\_est\_user.pl}{gauss\_mean\_est\_user.pl}
 
 
 \subsection{Distributional Clauses Syntax}
diff --git a/docs/index.rst b/docs/index.rst
index ba400f2..54fc1aa 100644
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -320,7 +320,7 @@ Moreover, if the density is discrete, the program must include the fact ::
 	disc(predicate).
 
 also after :code:`:- end_lpad.`
-See for example `gauss_mean_est_user.pl <http://cplint.eu/e/gauss_mean_est.pl>`_ and `binomial.pl <http://cplint.eu/e/binomial.pl>`_
+See for example `gauss_mean_est_user.pl <http://cplint.eu/e/gauss_mean_est_user.pl>`_
 
 Distributional Clauses Syntax
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^