Leonardo de Moura 1ecb234a9f test(elabissues): document some of the known problems		2019-09-21 10:17:26 -07:00
..
issues1.lean	test(elabissues): document some of the known problems	2019-09-21 10:17:26 -07:00
issues2.lean	test(elabissues): document some of the known problems	2019-09-21 10:17:26 -07:00
issues3.lean	test(elabissues): document some of the known problems	2019-09-21 10:17:26 -07:00