Nuprl Definition : pv11_p1_decision'base
pv11_p1_decision'base(Cmd;f) == Base([decision])
Definitions occuring in Statement :
base-headers-msg-val: Base(hdr),
cons: [a / b],
nil: [],
token: "$token"
FDL editor aliases :
pv11_p1_decision'base
Latex:
pv11\_p1\_decision'base(Cmd;f) == Base([decision])
Date html generated:
2015_07_23-PM-05_06_07
Last ObjectModification:
2013_12_18-PM-06_20_18
Home
Index