make datatypes enumerator behavior clearer (no exceptions in normal operation)
make datatypes enumerator behavior clearer (no exceptions in normal operation)
Do not install the "private-library" header
Make --default-dag-thresh apply to stringstreams
Fix error in tuple type-checking.
More complete fix for bug 484 (includes fixes for records and tuples).
Significant work on bug #491 (not yet closed).
Only put quantifier assertions in model equality engine if fullModel==true
Merge branch '1.0.x'

Conflicts:
	src/theory/quantifiers/theory_quantifiers.cpp
Fix user-values in SMT-LIB v1.2