Nuprl Definition : mkterm

mkterm(opr;bts) ==  inr <opr, bts> 


Definitions occuring in Statement :  pair: <a, b>,  inr: inr x 
Definitions occuring in definition :  inr: inr x ,  pair: <a, b>
FDL editor aliases :  mkterm
Latex:
mkterm(opr;bts)  ==    inr  <opr,  bts> 


Date html generated: 2020_05_19-PM-09_53_40
Last ObjectModification: 2020_03_09-PM-04_08_17

Theory : terms


Home Index