Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-12-07 23:09:09 -0800 (Sun, 07 Dec 2003)
Revision: 5164
Log message:

      Broken prove fixed. There was a "... thenWT autoT" deep under wf-subgoal.
      So this autoT processed not only local wf-subgoal but also main-subgoal.
      

Changes	Path
+4658 -4999	metaprl/theories/czf/czf_itt_axioms.prla