run-event-step(e) ==  fst(e)



Definitions :  pi1: fst(t)
FDL editor aliases :  run-event-step

run-event-step(e)  ==    fst(e)


Date html generated: 2010_08_27-PM-06_17_05
Last ObjectModification: 2010_04_28-PM-01_06_27

Home Index