Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /trunk/doc/typing/defs.tex
ViewVC logotype

Diff of /trunk/doc/typing/defs.tex

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

revision 66, Thu May 13 23:12:28 2010 UTC revision 67, Fri May 14 14:11:21 2010 UTC
# Line 126  Line 126 
126    
127  % unification  % unification
128  %  %
129  \newcommand{\U}[1]{\mathcal{U}(#1)}  \newcommand{\U}[2]{\mathcal{U}(#1,\,#2)}
130    
131  % typing judgments  % typing judgments
132  %  %

Legend:
Removed from v.66  
changed lines
  Added in v.67

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0