Fixed PropKB. Added valid and entails
Fix python 2.6 compatibility issues
Added tests for bool input to satisfiable
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