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
lean_before_refactoring	fix(tests/lean/eta_decls): fix broken test	2016-06-14 11:51:47 -07:00