Nuprl Definition : pv11_p1_headers_internal
pv11_p1_headers_internal() ==
[``pv11_p1 p1a``; ``pv11_p1 p1b``; ``pv11_p1 p2a``; ``pv11_p1 p2b``; ``pv11_p1 preempted``; ``pv11_p1 adopted``]
Definitions occuring in Statement :
cons: [a / b],
nil: [],
token: "$token"
FDL editor aliases :
pv11_p1_headers_internal
Latex:
pv11\_p1\_headers\_internal() ==
[``pv11\_p1 p1a``;
``pv11\_p1 p1b``;
``pv11\_p1 p2a``;
``pv11\_p1 p2b``;
``pv11\_p1 preempted``;
``pv11\_p1 adopted``]
Date html generated:
2015_07_23-PM-04_34_11
Last ObjectModification:
2014_11_26-AM-11_31_32
Home
Index