From 1018d8f0626f6fc0be8d101e100b8ae9a28a36cf Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Fri, 30 Jan 2026 14:47:00 +0100 Subject: chore: add dot to fix typo in tn001.05.tex Signed-off-by: Amlal El Mahrouss --- source/wg05/tn/tn001.05.tex | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'source') diff --git a/source/wg05/tn/tn001.05.tex b/source/wg05/tn/tn001.05.tex index 28d8d0c..dba4083 100644 --- a/source/wg05/tn/tn001.05.tex +++ b/source/wg05/tn/tn001.05.tex @@ -48,14 +48,13 @@ Let the following formula: \begin{enumerate} \item $\Gamma$ as defined previously as the `execution product' shall always be valid within the execution context $E$. - \item The execution context $E$ shall not denote $\varnothing$. \end{enumerate} \section{The Unknown Execution} -Let an `Unknown Execution' $U$ be defined regarding an execution product $\Gamma$ \\ +Let an `Unknown Execution' $U$ be defined regarding an execution product $\Gamma$. \\ Let $N$ be defined as $\varnothing$. \subsection{Properties} -- cgit v1.2.3