Directory Contents
------------------

The usual powerpoint and html lectures and:

L1_Fall_2002 - a directory containing the following
   * new versions of lecture 1 including TM adder example andg
         and links to Virtual Turing examples:
     + l1.ppt
     + l1.html
     + l1.pdf

   * optional Virtual Turing examples (download and install Virtual Turing to view)
     + UnaryEqualityChecker.tur	   
     + all_as_before_all_bs.tur

   * Explanation of the Unary Equality Checker and how to install "Virtual Turing"
     + UnaryEqualityCheckerREADME.txt