Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-12-20 00:15:46 -0800 (Fri, 20 Dec 2002)
Revision: 3965
Log message:

      Extended the proof of nth_wf a little to provide examples to Yegor.
      

Changes	Path
+539 -349	metaprl/theories/itt/itt_list2.prla