Nuprl Definition : mFOatomic

name(vars) ==  <"atomic", name, vars>



Definitions occuring in Statement :  pair: <a, b> token: "$token"
FDL editor aliases :  mFOatomic
name(vars)  ==    <"atomic",  name,  vars>



Date html generated: 2015_07_17-AM-07_53_25
Last ObjectModification: 2014_04_30-PM-01_15_18

Home Index