Nuprl Definition : hdf-base
hdf-base(m.F[m]) == mk-hdf(s,m.<s, F[m]>;s.ff;⋅)
Definitions occuring in Statement :
mk-hdf: mk-hdf(s,m.G[s; m];st.H[st];s0),
bfalse: ff,
it: ⋅,
pair: <a, b>
FDL editor aliases :
hdf-base
hdf-base(m.F[m]) == mk-hdf(s,m.<s, F[m]>s.ff;\mcdot{})
Date html generated:
2015_07_17-AM-08_05_15
Last ObjectModification:
2012_11_23-PM-02_09_25
Home
Index