Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 1997-10-01 13:30:13 -0700 (Wed, 01 Oct 1997)
Revision: 2073
Log message:

       bindings
      

Changes	Path
+35 -5	metaprl/library/mbterm.ml
+1 -1	metaprl/library/mbterm.mli