Nuprl Definition : mRuleimpI
impI == <"impI", ⋅>
Definitions occuring in Statement :
it: ⋅
,
pair: <a, b>
,
token: "$token"
FDL editor aliases :
mRuleimpI
impI == <"impI", \mcdot{}>
Date html generated:
2015_07_17-AM-07_54_59
Last ObjectModification:
2014_05_04-PM-00_53_56
Home
Index