diff --git a/spec/doc.tex b/spec/doc.tex
index 4d4d82bcab0767c6f570dafe7991853c36151cbe..541b134d147dc0ada2425ccd58caf1e4b23759ec 100644
--- a/spec/doc.tex
+++ b/spec/doc.tex
@@ -1437,13 +1437,6 @@ The following lists all rules of {\formatName}.
 
 \input{rule_list}
 
-\section{List of Proof Rules}
-\label{sec:rules}
-
-The following lists all rules of {\formatName}.
-
-\input{rule_list}
-
 \section{Changelog}
 \label{sec:changelog}