Nuprl Definition : pv11_p1_headers_no

Nuprl Definition : pv11_p1_headers_no_inputs

pv11_p1_headers_no_inputs() ==
  [``pv11_p1 p1a``;
   ``pv11_p1 p1b``;
   ``pv11_p1 p2a``;
   ``pv11_p1 p2b``;
   ``pv11_p1 preempted``;
   ``pv11_p1 adopted``;
   [decision]]

Definitions occuring in Statement : cons: [a / b], nil: [], token: "$token"
FDL editor aliases : pv11_p1_headers_no_inputs

Latex:
pv11\_p1\_headers\_no\_inputs() == [``pv11\_p1 p1a``; ``pv11\_p1 p1b``; ``pv11\_p1 p2a``; ``pv11\_p1 p2b``; ``pv11\_p1 preempted``; ``pv11\_p1 adopted``; [decision]] Date html generated: 2015_07_23-PM-04_34_14 Last ObjectModification: 2014_11_26-AM-11_31_37 Home Index