lampepfl/dotty — pull request #61 by odersky (2014-03-12 16:06:56+00:00)
Title: Fixes t00xx

Second version, taking reviewer comments into account.