Changes to CoqExtraction/LetouzeyOverview/2

• 2011-12-03 02:22:23 UTC (yoshihiro503): ja
• 2011-12-02 10:26:06 UTC (yoshihiro503): code
• 2011-12-02 09:49:16 UTC (yoshihiro503): typo
• 2011-12-02 09:10:04 UTC (yoshihiro503): fix
• 2011-12-02 08:56:42 UTC (yoshihiro503): 2