lampepfl/dotty — pull request #220 by odersky (2014-11-10 21:19:45+00:00)
Title: Refactor/def trees

Avoid redundancy between mods in trees and equivalent symbol information. Review by @DarkDimius