index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test-suite
/
coqdoc
/
Record.v
blob: f362aade98881deaf0b5aa8c430c289315fc0245 (
plain
)
1
2
Record
a
:=
{
b
:
nat
;
c
:
bool
}.
Definition
d
:=
{
|
b
:=
0
;
c
:=
true
|
}.
