Nuprl Definition : first-event

first-event{i:l}(es;e) ==  es-init(es;e)


Definitions occuring in Statement :  es-init: es-init(es;e)
FDL editor aliases :  first-event first-event
Latex:
first-event\{i:l\}(es;e)  ==    es-init(es;e)


Date html generated: 2016_05_16-AM-10_35_05
Last ObjectModification: 2013_03_26-PM-02_46_29

Theory : new!event-ordering


Home Index