Nuprl Definition : OARcast_init_odstate

OARcast_init_odstate(M;orderers) ==  <orderers, []>


Definitions occuring in Statement :  nil: [],  pair: <a, b>
FDL editor aliases :  OARcast_init_odstate
Latex:
OARcast\_init\_odstate(M;orderers)  ==    <orderers,  []>


Date html generated: 2016_05_17-PM-01_07_52
Last ObjectModification: 2014_08_20-PM-00_05_38

Theory : event-logic-applications


Home Index