(4steps total)
PrintForm
Definitions
hol
list
1
Sections
HOLlib
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
every
wf
'a
:Type,
p
:(
'a
),
l
:
'a
List. every(
p
;
l
)
By:
RepD
Generated subgoal:
1
1.
'a
: Type
2.
p
:
'a
3.
l
:
'a
List
every(
p
;
l
)
3
steps
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(4steps total)
PrintForm
Definitions
hol
list
1
Sections
HOLlib
Doc
'a:Type, p:('a
), l:'a List. every(p;l) 
'a:Type, p:('a), l:'a List. every(p;l)
every(p;l) 
