Nuprl Definition : es-direct-prior

es-direct-prior(es;e) == bag-remove-repeats(es-eq(es);bag-maximals(es-pred-list(es;e);

e1,e2.(

es-blocl(es;e1;e2))))

Definitions occuring in Statement : es-blocl: es-blocl(es;e1;e2), es-pred-list: es-pred-list(es;e), es-eq: es-eq(es), bnot:

b, lambda:

x.A[x], bag-remove-repeats: bag-remove-repeats(eq;bs), bag-maximals: bag-maximals(bg;R)
FDL editor aliases : es-direct-prior

es-direct-prior(es;e) == bag-remove-repeats(es-eq(es);bag-maximals(es-pred-list(es;e);\mlambda{}e1,e2.(\mneg{}\msubb{}es-blocl(es;e1;e2)))) Date html generated: 2012_01_23-PM-12_08_25 Last ObjectModification: 2011_11_29-PM-04_53_53 Home Index