Leonardo de Moura 8cfe7fdeab chore(frontends/lean/token_table): remove old keywords		2016-07-17 14:34:01 -04:00
..
lean	chore(frontends/lean/token_table): remove old keywords	2016-07-17 14:34:01 -04:00