2 commits

Author	SHA1	Message	Date
Leonardo de Moura	3aec70b92c	feat(library/tactic): elaborate 'exact' tactic argument at tactic execution time	2014-10-22 22:13:37 -07:00
Leonardo de Moura	7c617955d0	refactor(library/tactic): move 'exact' tactic to separate module	2014-10-22 17:29:44 -07:00