Outline for February 23, 2007

  1. Greetings and Felicitations!
  2. Unwinding Theorem
    1. Locally respects
    2. Transition-consistent
    3. Unwinding theorem

Here is a PDF version of this document.