Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2006-01-29 18:46:23 -0800 (Sun, 29 Jan 2006)
Revision: 8622
Log message:

      Committing changes made back in Decmeber before my defense.
      jtunify: one more unification rule added
      s4_tests: more tests, more formulations of Muddy Children