Commit c4d7ae85 authored by Glen Mével's avatar Glen Mével
Browse files

fix spacing

parent c82d24e3
......@@ -102,7 +102,7 @@ $\elemList$.
%
We may give a weaker specification by guaranteeing only that all of the
elements stored in the queue satisfy some predicate~$P$.
%
\[\begin{array}{lcr}
% \hoareV
......@@ -202,7 +202,7 @@ transferring subjective resources from a sender to a receiver.
% et comment transférer une vue permet de transférer une ressource?
To reflect this,
the representation predicate now takes more parameters:
%
\[
\isQueue \tview \hview \elemViewList
\]
......
Markdown is supported
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