12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 01:42, 21 March 2010
, 01:42, 21 March 2010→Formal extension : Cactus calculus: renumber figures
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (16)
| (18)
|}
|}
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (17)
| (19)
|}
|}