Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-06-26 07:08:42 -0700 (Tue, 26 Jun 2001)
Revision: 3299
Log message:

      sub/sup should assume math mode.
      

Changes  Path
+4 -4 metaprl/theories/tactic/nuprl_font.ml