Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-12 02:44:50 -0700 (Thu, 12 May 2005)
Revision: 7267
Log message:

      Derived the union type from the image type.
      

Changes	Path
+3 -0	metaprl/theories/itt/itt_image.ml
+909 -843	metaprl/theories/itt/itt_image.prla
+26 -28	metaprl/theories/itt/itt_tunion.ml
+2689 -3082	metaprl/theories/itt/itt_tunion.prla