12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 19:45, 24 March 2010
, 19:45, 24 March 2010→Formal extension : Cactus calculus: renumb figs
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (18)
| (α)
|}
|}
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (19)
| (β)
|}
|}