fdfc190 Added Coq .v files into the main package at user request.

Authored and Committed by amdunn 12 years ago
    Added Coq .v files into the main package at user request.
    
        
file modified
+12 -4
file modified
+1 -0