Changeset 1738 for Deliverables/D1.2/CompilerProofOutline/outline.tex
- Timestamp:
- Feb 24, 2012, 2:05:00 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D1.2/CompilerProofOutline/outline.tex
r1737 r1738 497 497 498 498 \begin{displaymath} 499 \mathtt{CALL}\ id \mapsto \mathtt{set\_params}; \mathtt{CALL} id;\mathtt{fetch\_result}499 \mathtt{CALL}\ id \mapsto \mathtt{set\_params};\ \mathtt{CALL}\ id;\ \mathtt{fetch\_result} 500 500 \end{displaymath} 501 501
Note: See TracChangeset
for help on using the changeset viewer.