From eb22c9d602a9d57a261b48a548b28ff47e46de11 Mon Sep 17 00:00:00 2001
From: Hans-Joerg Schurr <commits@schurr.at>
Date: Sat, 10 Jul 2021 22:48:43 +0200
Subject: [PATCH] Fix accidentally repeated proof list
---
spec/doc.tex | 7 -------
1 file changed, 7 deletions(-)
diff --git a/spec/doc.tex b/spec/doc.tex
index 4d4d82b..541b134 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}
--
GitLab