Nuprl Definition : hdf-run

hdf-run(P) ==  inl P


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


Date html generated: 2015_07_17-AM-08_04_45
Last ObjectModification: 2012_11_23-PM-02_09_07

Home Index