3 commits

Author	SHA1	Message	Date
Leonardo de Moura	56d7fc4c23	refactor(*): cleanup replace_visitor subclasses, and make sure let-expressions are handled	2016-02-29 16:55:19 -08:00
Leonardo de Moura	f8a20341cb	refactor(library/blast): get_hypothesis_decl return a reference	2015-11-18 18:20:02 -08:00
Leonardo de Moura	f1c2a88e17	feat(library/blast): add proof_expr thin layer for creating proof terms at blast	2015-11-10 10:50:58 -08:00