Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2004-01-26 02:02:23 -0800 (Mon, 26 Jan 2004)
Revision: 5278
Log message:

      More about poly.
      

Changes	Path
+4 -0	metaprl/theories/itt/itt_bool.ml
+4435 -4589	metaprl/theories/itt/itt_bool.prla
+36 -0	metaprl/theories/itt/itt_int_ext.ml
+2415 -1539	metaprl/theories/itt/itt_int_ext.prla
+1 -1	metaprl/theories/itt/itt_logic.ml
+21536 -21517	metaprl/theories/itt/itt_logic.prla
+44 -7	metaprl/theories/itt/itt_poly.ml
+5 -2	metaprl/theories/itt/itt_poly.mli
+5661 -2545	metaprl/theories/itt/itt_poly.prla