Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-12-10 01:51:34 -0800 (Tue, 10 Dec 2002)
Revision: 3950
Log message:

      Proved rev_wf
      

Changes	Path
+3 -0	metaprl/theories/itt/itt_list2.ml
+3349 -3272	metaprl/theories/itt/itt_list2.prla