Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-12 16:15:10 -0700 (Thu, 12 May 2005)
Revision: 7270
Log message:

      Moved list_max from Itt_nat into Itt_list2.
      

Changes	Path
+27 -11	metaprl/theories/itt/itt_list2.ml
+4 -0	metaprl/theories/itt/itt_list2.mli
+5042 -4543	metaprl/theories/itt/itt_list2.prla
+0 -15	metaprl/theories/itt/itt_nat.ml
+0 -1	metaprl/theories/itt/itt_nat.mli
+1 -1	metaprl/theories/itt/itt_reflection.prla