Nuprl Definition : init-acceptor-state
init-acceptor-state() == <inr 
, []>
Proof not projected
Definitions occuring in Statement :
it: ,
pair: <a, b>,
inr: inr x ,
nil: []
FDL editor aliases :
init-acceptor-state
init-acceptor-state() == <inr \mcdot{} , []>
Date html generated:
2011_10_20-PM-11_55_47
Last ObjectModification:
2011_06_21-PM-05_48_40
Home
Index