index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test-suite
/
output
/
Notations2.out
blob: aca872970ce65b2800910826ca90fb789509c41b (
plain
)
1
2
3
4
2 3 : PAIR forall (A : Set) (le : A -> A -> Prop) (x y : A), le x y \/ le y x : Prop
