Leonardo de Moura a4ef8f385d feat(library/tactic/simplify): add basic support for lambda-expressions		2016-10-19 14:15:56 -07:00
..
lean	feat(library/tactic/simplify): add basic support for lambda-expressions	2016-10-19 14:15:56 -07:00