Commit 463049d5 authored by Jacques-Henri Jourdan's avatar Jacques-Henri Jourdan
Browse files

Changes in the proof section.

parent 8fbb02d3
......@@ -277,8 +277,7 @@ we get the following:
%
\end{mathpar}
%
Thus this assertion acts as a reminder that, at some point, the status of
slot~\offset\ stored the value~$\status$ and the view~$\sview$.
Thus the $\monoWitness\offset{\pair\status\sview}$ assertion acts as a reminder that, at some point, the status of slot~\offset\ stored the value~$\status$ and the view~$\sview$.
\subsection{Description of slots}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment