index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test-suite
/
success
/
params_ind.v
blob: 1bee31c8a382063c261e71fef9967a51c5d79126 (
plain
)
1
2
3
4
Inductive
list
(
A
:
Set
)
:
Set
:=
|
nil
:
list
A
|
cons
:
A
->
list
(
A
->
A
)
->
list
A
.
