12,089
edits
Changes
Directory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 15:10, 24 March 2009
, 15:10, 24 March 2009→Step 1
{| align="center" cellpadding="8" width="90%"
{| align="center" cellpadding="8" width="90%"
| <math>x = x\operatorname{I}</math>
| <math>\begin{matrix}x & = & x\operatorname{I}\end{matrix}</math>
|}
|}