Nuprl Definition : hdf-run

hdf-run(P) ==  inl P


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


Date html generated: 2016_05_16-AM-10_37_56
Last ObjectModification: 2012_11_23-PM-02_09_07

Theory : halting!dataflow


Home Index