ClemsonRSRG/RESOLVE-Workspace — pull request #15 by yushan87 (2013-09-05 16:23:40+00:00)
Title: added commutative/associative/distributive theorems

the title says it all...