/[mojave]/metaprl/theories/tactic/nuprl_font.mli
ViewVC logotype

Diff of /metaprl/theories/tactic/nuprl_font.mli

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3590 by nogin, Fri Sep 21 14:22:55 2001 UTC revision 3591 by nogin, Sun Apr 28 19:51:58 2002 UTC
# Line 132  Line 132 
132  declare Leftrightarrow  declare Leftrightarrow
133  declare ulcorner  declare ulcorner
134  declare urcorner  declare urcorner
135    declare mid
136  declare vdash  declare vdash
137  declare integral  declare integral
138  declare cdot  declare cdot

Legend:
Removed from v.3590  
changed lines
  Added in v.3591

  ViewVC Help
Powered by ViewVC 1.1.26