Nuprl Definition : ses-act
Act == {e:E| Action(e)}
Definitions occuring in Statement :
ses-action: Action(e),
es-E: E,
set: {x:A| B[x]}
FDL editor aliases :
ses-act
Latex:
Act == \{e:E| Action(e)\}
Date html generated:
2015_07_23-PM-00_04_41
Last ObjectModification:
2012_08_30-PM-02_30_22
Home
Index