Nuprl Definition : weak-update-alist
weak-update-alist(eq;L;x;z;v.f[v]) == update-alist(eq;L;x;z;v.f[v])
Definitions occuring in Statement :
update-alist: update-alist(eq;L;x;z;v.f[v])
Definitions occuring in definition :
update-alist: update-alist(eq;L;x;z;v.f[v])
FDL editor aliases :
weak-update-alist
Latex:
weak-update-alist(eq;L;x;z;v.f[v]) == update-alist(eq;L;x;z;v.f[v])
Date html generated:
2016_05_14-PM-03_22_46
Last ObjectModification:
2015_09_22-PM-05_59_29
Theory : decidable!equality
Home
Index