Nuprl Definition : system-append
S1 @ S2 == let Cs,G = S1 in let Cs',G' = S2 in <Cs @ Cs', lg-append(G;G')>
Definitions occuring in Statement :
lg-append: lg-append(g1;g2),
append: as @ bs,
spread: spread def,
pair: <a, b>
FDL editor aliases :
system-append
Latex:
S1 @ S2 == let Cs,G = S1 in let Cs',G' = S2 in <Cs @ Cs', lg-append(G;G')>
Date html generated:
2015_07_23-AM-11_19_44
Last ObjectModification:
2012_02_25-PM-03_46_20
Home
Index