a815a02 Setup of module coco-coq

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