Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2002-09-20 20:47:25 -0700 (Fri, 20 Sep 2002)
Revision: 3888
Log message:

      Reverted changes I made earlier.
      

Changes	Path
+10 -42	metaprl/theories/base/base_meta.ml
+0 -24	metaprl/theories/base/base_meta.mli