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

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