WhoCites
Definitions
mb
list
1
Sections
MarkB
generic
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites zip?
zip
Def zip(
as
;
bs
)
Def
== Case of
as
Def == Ca
nil
nil
Def == Ca
a
.
as'
Case of
bs
; nil
nil ;
b
.
bs'
[<
a
,
b
> / zip(
as'
;
bs'
)]
Def
(recursive)
Thm*
T1
,
T2
:Type,
as
:
T1
List,
bs
:
T2
List. zip(
as
;
bs
)
(
T1
T2
) List
Syntax:
zip(
as
;
bs
)
has structure:
zip(
as
;
bs
)
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
WhoCites
Definitions
mb
list
1
Sections
MarkB
generic
Doc