index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
make.result
blob: 7c68fb95b6e54de62dab50a29245e274a11b6ecd (
plain
)
1
Thu 05/01/2006 00:30: Success