Hi Alex,
init.s defines append as follows -
append {doAppend}
,((((NIL @X @X)) (((@A . @X) @Y (@A . @Z)) (append @X @Y @Z))) . T)I gather that the second line that starts with ',' adds properties to the symbol. It is not clear to me what the properties are for. Can you please throw some light on this? Regards, Kashyap
