Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-24 00:29:40 -0700 (Thu, 24 Apr 2003)
Revision: 4482
Log message:

      Yet another unicode symbol for "prod" (the one I chose before exists in RH9
      fonts, but not in RH7.3 ones)...
      

Changes	Path
+1 -1	metaprl/theories/tactic/nuprl_font.ml
+1 -1	metaprl/theories/tactic/summary.ml