12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 19:15, 24 March 2010
, 19:15, 24 March 2010→C<sub>2</sub>. Generation theorem: renumber figures
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" border="0" cellpadding="10" cellspacing="0"
| [[Image:PERS_Figure_08.jpg|500px]] || (8)
| [[Image:PERS_Figure_08.jpg|500px]] || (1.2.2.a)
|}
|}
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" border="0" cellpadding="10" cellspacing="0"
| [[Image:PERS_Figure_09.jpg|500px]] || (9)
| [[Image:PERS_Figure_09.jpg|500px]] || (1.2.2.b)
|}
|}