Nuprl Definition : mfol-context
This is the list of hypotheses of a mFOL-sequent() in reverse order.⋅
mfol-context() == mFOL() List
Definitions occuring in Statement :
mFOL: mFOL(),
list: T List
FDL editor aliases :
mfol-context
mfol-context() == mFOL() List
Date html generated:
2015_07_17-AM-07_57_29
Last ObjectModification:
2014_06_13-PM-06_07_34
Home
Index