12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 16:54, 5 January 2009
, 16:54, 5 January 2009→Propositional Equation Reasoning Systems
===Propositional Equation Reasoning Systems===
===Propositional Equation Reasoning Systems===
====Arisbe List (Apr 2001)====
====Arisbe List (Mar 2001)====
* http://stderr.org/pipermail/arisbe/2001-April/000409.html
* http://stderr.org/pipermail/arisbe/2001-March/thread.html#380
: http://stderr.org/pipermail/arisbe/2001-April/000409.html
====Inquiry List (Mar 2003)====
====Inquiry List (Mar 2003)====