Changes to CoqExtraction/Letouzey

• 2011-12-02 08:27:27 UTC (yoshihiro503): tex
• 2011-12-02 08:18:38 UTC (yoshihiro503): toc
• 2011-12-02 08:10:39 UTC (yoshihiro503): jp
• 2011-12-02 08:08:40 UTC (yoshihiro503): fix
• 2011-12-02 07:52:18 UTC (yoshihiro503): top