(5steps total)
PrintForm
Definitions
array
1
Sections
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
p
array
wf
T
:Type{i},
i
:
,
j
:{
i
...}. [
T
]Array{
i
..
j
}
Type{[i']}
By:
UnivCD
Generated subgoal:
1
1.
T
: Type{i}
2.
i
:
3.
j
: {
i
...}
[
T
]Array{
i
..
j
}
Type{[i']}
4
steps
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(5steps total)
PrintForm
Definitions
array
1
Sections
StandardLIB
Doc
T:Type{i}, i:
, j:{i...}. [T]Array{i..j
} 
Type{[i']} T:Type{i}, i:, j:{i...}. [T]Array{i..j} Type{[i']}
[T]Array{i..j} Type{[i']}
