lampepfl/dotty — pull request #76 by retronym (2014-03-16 16:51:56+00:00)
Title: Test and refactor TreeInfo#defTree

Review by @odersky