Nuprl Definition : map-sig-update
map-sig-update(m) ==  m."update"
Definitions occuring in Statement : 
token: "$token"
FDL editor aliases : 
map-sig-update
Latex:
map-sig-update(m)  ==    m."update"
Date html generated:
2016_05_17-PM-01_47_31
Last ObjectModification:
2014_07_30-AM-09_48_47
Theory : datatype-signatures
Home
Index