From 9e6d240c4299e3fc4954b5c9e0933cd1ffbc4ef9 Mon Sep 17 00:00:00 2001
From: Hans-Joerg Schurr <commits@schurr.at>
Date: Sat, 7 Aug 2021 18:15:19 +0200
Subject: [PATCH] Rename section on semantic

---
 spec/doc.tex | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/spec/doc.tex b/spec/doc.tex
index b1673e3..aadf79b 100644
--- a/spec/doc.tex
+++ b/spec/doc.tex
@@ -722,8 +722,7 @@ have an arbitrary order after instantiation.
 Nevertheless, consumers of Alethe must consider the possible
 implicit reordering of equalities.
 
-% PF TODO why concrete?  Why not simply call it Semantics?
-\section{The Concrete Semantics}
+\section{The Semantics of Alethe}
 \label{sec:semantic}
 
 Most of the content is taken from the presentation and the correctness proof of
-- 
GitLab