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

Parent Directory | Revision Log | 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	%	%

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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