diff options
Diffstat (limited to 'source')
| -rw-r--r-- | source/wg05/tn/tn001.05.tex | 3 |
1 files changed, 1 insertions, 2 deletions
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} |