Changes to CoqExtraction/LetouzeyOverview

• 2011-12-03 02:14:34 UTC (yoshihiro503): ja
• 2011-12-02 09:50:02 UTC (yoshihiro503): ref
• 2011-12-02 09:33:22 UTC (yoshihiro503): download link
• 2011-12-02 08:48:38 UTC (yoshihiro503): sv