index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
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
).
