Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-04-18 19:07:33 -0700 (Fri, 18 Apr 2003)
Revision: 4455
Log message:

      Xin and Aleksey:
      - defined a cong symbol
      - made sure sub<x> is defined (and correctly defined) for all
      "x" from a through z.
      

Changes	Path
+105 -23	metaprl/theories/tactic/nuprl_font.ml
+20 -0	metaprl/theories/tactic/nuprl_font.mli