Nuprl Definition : combine-pcs

combine-pcs(X;Y) ==  let eqsX,ineqsX in let eqsY,ineqsY in <eqsX eqsY, ineqsX ineqsY>



Definitions occuring in Statement :  append: as bs spread: spread def pair: <a, b>
Definitions occuring in definition :  spread: spread def pair: <a, b> append: as bs
FDL editor aliases :  combine-pcs

Latex:
combine-pcs(X;Y)  ==    let  eqsX,ineqsX  =  X  in  let  eqsY,ineqsY  =  Y  in  <eqsX  @  eqsY,  ineqsX  @  ineqsY>



Date html generated: 2016_05_14-AM-07_08_04
Last ObjectModification: 2015_09_22-PM-05_52_54

Theory : omega


Home Index