Nuprl Definition : mRuleallE?

mRuleallE?(v) ==  fst(v) =a "allE"



Definitions occuring in Statement :  eq_atom: =a y pi1: fst(t) token: "$token"
FDL editor aliases :  mRuleallE?
mRuleallE?(v)  ==    fst(v)  =a  "allE"



Date html generated: 2015_07_17-AM-07_55_59
Last ObjectModification: 2014_05_04-PM-00_59_39

Home Index