Update TheoryStrings to use CDHashSet<>::key_begin() / key_end().
Update TheorySets to use CDHashSet<>::key_begin() / key_end().
Bug 593 fix: if the type is finite, it is now considered for detecting theories of nested terms.
Merge pull request #63 from mdeters/theorystrings-hashset-iteration

Update TheoryStrings to use CDHashSet<>::key_begin() / key_end().
Work on synchronizing decision=justification and E-matching.
Merge pull request #64 from mdeters/theorysets-hashset-iteration

Update TheorySets to use CDHashSet<>::key_begin() / key_end().
Minor cleanup.
Fix tokenization of "reset" in SMT-LIB v2.0.  It's a reserved word only in 2.5.
Fix BV inequality solver caching.
BV inequality graph TNode fix.
Merge pull request #65 from mdeters/bv-ineq-cachefix

Fix BV inequality solver caching, and TNode fix.
Possible fix for bug594
More preparation for filtering relevant terms in TermDb.
Remove two obsolete versions of MBQI.
Merge pull request #69 from mdeters/bug594

Fix memory leak in CDHashMap<> with Node keys (resolves bug 594).
Copyright text fixes.
Minor adjustments to wording.
Minor changes to AUTHORS and COPYING
Be lazier to consider EQC in UF+cardinality solver.  Minor cleanup.
change some TNodes to Nodes