Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-02-17 06:53:23 -0800 (Thu, 17 Feb 2005)
Revision: 6711
Log message:

      Proved a number of theorems in itt_list2. Had to add extra wf conditions in
      two of them!
      

Changes  Path
+181 -125 metaprl/theories/itt/itt_int_arith.prla
+19 -17 metaprl/theories/itt/itt_list2.ml
+1904 -1702 metaprl/theories/itt/itt_list2.prla