Nuprl Definition : pv11_p1

Nuprl Definition : pv11_p1_headers

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

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

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