Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2001-06-06 17:45:23 -0700 (Wed, 06 Jun 2001)
Revision: 3253
Log message:

      Some proofs in ctt_markov are simplified.
      

Changes	Path
+609 -1077	metaprl/theories/itt/ctt_markov.prla