Nuprl Definition : mk_mFOLProofNode

srsubgoals ==  <sr, subgoals>



Definitions occuring in Statement :  pair: <a, b>
FDL editor aliases :  mk_mFOLProofNode
srsubgoals  ==    <sr,  subgoals>



Date html generated: 2015_07_17-AM-07_56_49
Last ObjectModification: 2012_12_05-AM-11_57_14

Home Index