Leonardo de Moura 99299d1915 feat(library/tactic/simplify): use propext in rewriting rules when simplify_config.use_axioms is tt		2016-10-19 17:59:01 -07:00
..
lean	feat(library/tactic/simplify): use propext in rewriting rules when simplify_config.use_axioms is tt	2016-10-19 17:59:01 -07:00