Daniel Selsam ba06fd335b test: add new elab issue from @joehendrix		2019-10-03 17:23:53 -07:00
..
issues1.lean
issues2.lean
issues3.lean
issues4.lean	test: add new elab issue from @joehendrix	2019-10-03 17:23:53 -07:00