Leonardo de Moura d302514933 chore(frontends/lean): remove tactic notation		2016-06-10 18:29:41 -07:00
..
lean	chore(frontends/lean): remove tactic notation	2016-06-10 18:29:41 -07:00