index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
test-suite
/
failure
/
params_ind.v
blob: 206891286abae0994123a51e38d8e86ce0aa64ba (
plain
)
1
2
3
4
Inductive list [A:Set] : Set := nil : (list A) | cons : A -> (list A->A)-> (list A).