Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-03-20 00:13:58 -0800 (Thu, 20 Mar 2003)
Revision: 4190
Log message:

      - Finished the proofs (and cleaned up) in ctt_markov
      - Cleaned up czf_itt_bool to get rid of the error messages those
      "saved on the side" subproofs generate.
      

Changes  Path
+4031 -10529 metaprl/theories/czf/czf_itt_bool.prla
+708 -1179 metaprl/theories/itt/ctt_markov.prla