Nuprl Definition : nd-append

L1@L2 ==  remove-repeats(eq;L1 @ L2)


Definitions occuring in Statement :  remove-repeats: remove-repeats(eq;L),  append: as @ bs
Definitions occuring in definition :  remove-repeats: remove-repeats(eq;L),  append: as @ bs
FDL editor aliases :  nd-append
Latex:
L1@L2  ==    remove-repeats(eq;L1  @  L2)


Date html generated: 2016_05_14-PM-03_31_15
Last ObjectModification: 2015_09_22-PM-06_00_35

Theory : decidable!equality


Home Index