Nuprl Definition : hdf-halted
hdf-halted(P) == isr(P)
Definitions occuring in Statement :
isr: isr(x)
FDL editor aliases :
hdf-halted
hdf-halted(P) == isr(P)
Date html generated:
2015_07_17-AM-08_04_41
Last ObjectModification:
2012_11_23-PM-02_09_04
Home
Index