Overwrite "rule_list.tex" with new rules list

a8abc836 · Hans-Jörg · Hans-Jörg Schurr · 35219c57 · 35219c57 · a8abc836
Commit a8abc836 authored 2 years ago by Hans-Jörg Committed by Hans-Jörg Schurr 2 years ago
--- a/spec/alethe_rules.tex
+++ b/spec/alethe_rules.tex
--- a/spec/rule_list.tex
+++ b/spec/rule_list.tex
--- a/spec/spec.tex
+++ b/spec/spec.tex
@@ -1647,7 +1647,7 @@ is functional congruence, and \proofRule{sko_forall} works like

 \section{The Alethe Rules}
 \label{apx:rules}
-\input{alethe_rules}
+\input{rule_list}

 \clearpage
 \section*{Changelog}