Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2005-09-29 02:12:09 -0700 (Thu, 29 Sep 2005)
Revision: 7796
Log message:

      Added the TLA model for the "catching-up" phase of the view change protocol.