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