Nuprl Definition : new_23_sig_headers_no_inputs
new_23_sig_headers_no_inputs(notify) == [``new_23_sig vote``; ``new_23_sig retry``; ``new_23_sig decided``; notify]
Definitions occuring in Statement :
cons: [a / b],
nil: [],
token: "$token"
FDL editor aliases :
new_23_sig_headers_no_inputs
Latex:
new\_23\_sig\_headers\_no\_inputs(notify) ==
[``new\_23\_sig vote``; ``new\_23\_sig retry``; ``new\_23\_sig decided``; notify]
Date html generated:
2015_07_23-PM-03_52_46
Last ObjectModification:
2013_11_23-PM-09_56_58
Home
Index