Add ability to provide theory-specific proof rules to EqualityEngine, extends enumeration of MergeReasonType.  Add initial use in TheoryArrays.
dos2unix on the proof signatures, and fix the makefile.
SMT-LIB compliance: allow bin/hex set-info, e.g. (set-info :key #xffff).  Thanks to David Cok for the bug report.
Fixes to stats registry
Framework for theory proof generation.  LFSC Proof generation for UF.  Proof-checking work.  Assorted fix-ups related (mostly) to proofs.
Add debugging stuff for proofs.
arrays proof work
more
more