Changeset 986 for src/ASM/CPP2011
- Timestamp:
- Jun 16, 2011, 5:23:40 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ASM/CPP2011/cpp-2011.tex
r984 r986 348 348 \end{lstlisting} 349 349 350 Lemma \texttt{fetch\_assembly\_pseudo} establishes a basic propertybetween \texttt{expand\_pseudo\_instruction} and \texttt{assembly\_1\_pseudoinstruction}:350 Lemma \texttt{fetch\_assembly\_pseudo} establishes a basic relationship between \texttt{expand\_pseudo\_instruction} and \texttt{assembly\_1\_pseudoinstruction}: 351 351 \begin{lstlisting} 352 352 lemma fetch_assembly_pseudo: $\forall$program, ppc, lk_labels, lk_dlabels.
Note: See TracChangeset
for help on using the changeset viewer.