Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-02-27 17:35:49 -0800 (Wed, 27 Feb 2002)
Revision: 3524
Log message:

      esquash_mem does not have to be primitive, it follows directly from esquash_elim
      

Changes  Path
+7 -3 metaprl/theories/itt/itt_esquash.ml
+607 -463 metaprl/theories/itt/itt_esquash.prla