Nuprl Definition : name

Nuprl Definition : name_eq

name_eq(x;y) == NameDeq x y

Definitions occuring in Statement : name-deq: NameDeq, apply: f a
Definitions occuring in definition : apply: f a, name-deq: NameDeq
FDL editor aliases : name_eq

Latex:
name\_eq(x;y) == NameDeq x y Date html generated: 2016_05_14-PM-03_34_09 Last ObjectModification: 2015_09_22-PM-06_01_04 Theory : decidable!equality Home Index