Changeset 986 for src/ASM/CPP2011


Ignore:
Timestamp:
Jun 16, 2011, 5:23:40 PM (9 years ago)
Author:
mulligan
Message:

changes to paper

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ASM/CPP2011/cpp-2011.tex

    r984 r986  
    348348\end{lstlisting}
    349349
    350 Lemma \texttt{fetch\_assembly\_pseudo} establishes a basic property between \texttt{expand\_pseudo\_instruction} and \texttt{assembly\_1\_pseudoinstruction}:
     350Lemma \texttt{fetch\_assembly\_pseudo} establishes a basic relationship between \texttt{expand\_pseudo\_instruction} and \texttt{assembly\_1\_pseudoinstruction}:
    351351\begin{lstlisting}
    352352lemma fetch_assembly_pseudo: $\forall$program, ppc, lk_labels, lk_dlabels.
Note: See TracChangeset for help on using the changeset viewer.