Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2002-09-20 18:57:15 -0700 (Fri, 20 Sep 2002)
Revision: 3886
Log message:

      Added relational meta operations. Before only < existed.
      

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