Nuprl Definition : co-list-cons

co-list-cons(h;t) ==  <h, t>


Definitions occuring in Statement :  pair: <a, b>
Definitions occuring in definition :  pair: <a, b>
FDL editor aliases :  co-list-cons
Latex:
co-list-cons(h;t)  ==    <h,  t>


Date html generated: 2016_05_15-PM-10_09_19
Last ObjectModification: 2015_09_23-AM-08_22_24

Theory : eval!all


Home Index