Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-11-17 17:53:09 -0800 (Mon, 17 Nov 2003)
Revision: 5109
Log message:

      - Fixing couple of proofs that were broken by the recent commits.
      - Changed ASCII IO to avoid putting empty space at the end of
      some of the lines in .prla files.
      

Changes	Path
+7 -2	metaprl/refiner/reflib/ascii_io.ml
+7 -3	metaprl/support/tactics/auto_tactic.ml
+142 -140	metaprl/theories/itt/ctt_markov.prla
+2588 -2585	metaprl/theories/itt/jprover_tests.prla