Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-05-17 21:44:17 -0700 (Sat, 17 May 2003)
Revision: 4607
Log message:

      Further code simplifications
      

Changes  Path
+18 -35 metaprl/mllib/weak_memo.ml