Cleaned up Language.thy
Cleaned up Language.thy