Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-27 16:07:03 -0700 (Thu, 27 Oct 2005)
Revision: 8009
Log message:

      Making some progress re-verifying the rules under the pairwise functionality semantics