Nuprl Definition : mRuleallI

allI with var ==  <"allI", var>



Definitions occuring in Statement :  pair: <a, b> token: "$token"
FDL editor aliases :  mRuleallI
allI  with  var  ==    <"allI",  var>



Date html generated: 2015_07_17-AM-07_55_01
Last ObjectModification: 2014_05_04-PM-00_54_07

Home Index