12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 19:22, 24 March 2010
, 19:22, 24 March 2010→Axioms: try a less distracting figure numbering scheme
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
| [[Image:PERS_Figure_01.jpg|500px]] || (1.1.a)
| [[Image:PERS_Figure_01.jpg|500px]] || (α)
|-
|-
| [[Image:PERS_Figure_02.jpg|500px]] || (1.1.b)
| [[Image:PERS_Figure_02.jpg|500px]] || (β)
|-
|-
| [[Image:PERS_Figure_03.jpg|500px]] || (1.1.c)
| [[Image:PERS_Figure_03.jpg|500px]] || (γ)
|-
|-
| [[Image:PERS_Figure_04.jpg|500px]] || (1.1.d)
| [[Image:PERS_Figure_04.jpg|500px]] || (δ)
|}
|}