Did some minor work on conjunction-introduction. I'm Not sure this rule is really needed - is it really more efficient than just doing param2op-intro?
Added antecedent-support-sets to be used in testing of a term has been derived from common OSes.
docstring fix.
Merge branch 'master' of https://github.com/SNePS/CSNePS
Temporary workaround.