Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-05-06 03:06:13 -0700 (Tue, 06 May 2003)
Revision: 4568
Log message:

      Added left/right pointing triangle (white) to display normal subgroup.
      Added quotient group to documentation.
      

Changes  Path
+1 -0 metaprl/doc/latex/theories/itt/print.ml
+9 -1 metaprl/support/display/nuprl_font.ml
+2 -0 metaprl/support/display/nuprl_font.mli
+4 -2 metaprl/theories/itt/itt_group.ml
+17 -1 metaprl/theories/itt/itt_group.mli