Nuprl Definition : mFOquant

mFOquant(isall;var;body) ==  <"quant", isall, var, body>


Definitions occuring in Statement :  pair: <a, b>,  token: "$token"
FDL editor aliases :  mFOquant
mFOquant(isall;var;body)  ==    <"quant",  isall,  var,  body>


Date html generated: 2015_07_17-AM-07_53_33
Last ObjectModification: 2014_04_30-PM-01_15_37

Home Index