801b24b Setup of module coq

Merged and Committed by kevin 12 years ago
    Setup of module coq
    
        
file added
+0
empty file added
file added
+21
file added
+0
empty file added