Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-06-05 15:41:19 -0700 (Tue, 05 Jun 2001)
Revision: 3252
Log message:

      Fixed squash_resource annotations for empty types.
      

Changes	Path
+14 -7	metaprl/refiner/reflib/term_stable.ml
+6 -6	metaprl/refiner/reflib/term_stable.mli
+1 -1	metaprl/theories/itt/itt_logic.ml
+6 -10	metaprl/theories/itt/itt_squash.ml