Fixed PropKB. Added valid and entails
Fix python 2.6 compatibility issues
Added tests for bool input to satisfiable
Add support for sequences in geometry methods
Fix inconsistent behavior when matching functions by using '==' rather than 'is' comparison.
Revert back to isinstance in matches and override __instancecheck__ for
UndefinedFunction.  Has the advantage of not breaking any code relying
on isinstance retaining the same behavior with a bounded/unbounded cache.
ensure isintance correctly handles subclasses
Added tests for fix.  One currently fails in master.  The other fails if
proper care is not taken in overriding __instancecheck__
Merge pull request #7688 from pbrady/matches_fix

Fix inconsistent caching/matching behavior
Remove FiniteSet(iterable) syntax (closes #7335) [1/6]
Remove FiniteSet(iterable) syntax (closes #7335) [2/6]

Fix syntax in sympy.core
Remove FiniteSet(iterable) syntax (closes #7335) [3/6]

Fix syntax in sympy.stats
Remove FiniteSet(iterable) syntax (closes #7335) [4/6]

Fix syntax in sympy.categories
Remove FiniteSet(iterable) syntax (closes #7335) [5/6]

Fix printing tests
Remove FiniteSet(iterable) syntax (closes #7335) [6/6]

Fix syntax in sympy.combinatorics

Partition also accepts args of FiniteSet type
Merge pull request #2830 from SDB1323/logic

Fixed PropKB Ask. Added function to check validity.
Merge pull request #7622 from skirpichev/7335-finiteset-args-fix

Drop FiniteSet(iterable) syntax
Add test for issue 7181. Fixes #7181.
Merge pull request #7695 from debugger22/7181

Add test for issue 7181.
Corrected a typo. Changed an to a