Nuprl Definition : name

Name ==  Atom List


Definitions occuring in Statement :  list: T List,  atom: Atom
Definitions occuring in definition :  list: T List,  atom: Atom
FDL editor aliases :  name
Latex:
Name  ==    Atom  List


Date html generated: 2016_05_14-PM-03_33_54
Last ObjectModification: 2015_09_22-PM-06_00_58

Theory : decidable!equality


Home Index