Leonardo de Moura 49941ce35b test(tests/lean/run/sigma_no_confusion): define 'no_confusion' for sigma types		2014-10-27 07:26:01 -07:00
..
lean	test(tests/lean/run/sigma_no_confusion): define 'no_confusion' for sigma types	2014-10-27 07:26:01 -07:00
lua	refactor(library/tactic): move 'tracing' tactics to separate module	2014-10-22 14:12:45 -07:00