Nuprl Definition : combine-pcs
combine-pcs(X;Y) ==  let eqsX,ineqsX = X in let eqsY,ineqsY = Y 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