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
first-event\{i:l\}(es;e)  ==    es-init(es;e)


Date html generated: 2015_07_17-AM-09_09_42
Last ObjectModification: 2013_03_26-PM-02_46_29

Home Index