Nuprl Definition : hdf-running

hdf-running(P) ==  isl(P)


Definitions occuring in Statement :  isl: isl(x)
FDL editor aliases :  hdf-running
Latex:
hdf-running(P)  ==    isl(P)


Date html generated: 2016_05_16-AM-10_37_41
Last ObjectModification: 2013_03_21-PM-01_20_05

Theory : halting!dataflow


Home Index