index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
make.result
blob: a408506a090badbd3da3b81ac5b85fb630497057 (
plain
)
1
Thu 03/02/2005 00:30: Success