Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 2001-06-13 14:39:18 -0700 (Wed, 13 Jun 2001)
Revision: 3260
Log message:

      fixed representation of level expression for mathbus
      

Changes  Path
+8 -8 metaprl/library/mbterm.ml