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