Leonardo de Moura 0641f3f714 chore(library/init): cleanup proofs using new elaborator		2016-09-23 17:36:32 -07:00
..
lean	chore(library/init): cleanup proofs using new elaborator	2016-09-23 17:36:32 -07:00