3 commits

Author	SHA1	Message	Date
Floris van Doorn	f495fa04c8	fix(tests): fix tests after port	2015-12-09 12:36:11 -08:00
Leonardo de Moura	7da64a768f	refactor(library/type_context): with the new tracing infrastructure, type_context doesn't need an io_state	2015-12-08 14:58:08 -08:00
Leonardo de Moura	1cd44e894b	feat(library/tactic/class_instance_synth): conservative class-instance resolution: expand only definitions marked as reducible ... closes #442	2015-02-24 16:12:35 -08:00