Changeset 1803 for Deliverables


Ignore:
Timestamp:
Mar 2, 2012, 4:27:40 PM (8 years ago)
Author:
tranquil
Message:

yet another small correction in the LTL to LIN part

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D1.2/CompilerProofOutline/outline.tex

    r1802 r1803  
    10651065\item
    10661066$\mathtt{required} \subseteq \mathtt{visited}\cup\mathtt{todo}
    1067 $.
    1068 % \item
    1069 % $\mathtt{visited} \cap \mathtt{todo} = \emptyset$.
     1067$,
     1068\item
     1069$\forall \mathtt{s}$ statement of $\mathtt{generated}$, $\mathtt{explsuccs}(s)\subseteq\mathtt{required}$.
    10701070\end{enumerate}
    10711071
Note: See TracChangeset for help on using the changeset viewer.