Leonardo de Moura a056e87350 fix(library/init/meta/injection_tactic): add support for ginductive datatypes		2017-12-06 09:39:20 -08:00
..
lean	fix(library/init/meta/injection_tactic): add support for ginductive datatypes	2017-12-06 09:39:20 -08:00
.gitignore