Sebastian Ullrich c5a8fe02ac feat(frontends/lean): add parent classes to local context in struct definitions ... Fixes #1066		2016-07-05 19:22:08 -07:00
..
lean	feat(frontends/lean): add parent classes to local context in struct definitions	2016-07-05 19:22:08 -07:00