87f56ea 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
+12 -4
file modified
+1 -0