Nuprl Definition : norm-components

norm-components ==  norm-list(norm-component)


Definitions occuring in Statement :  norm-component: norm-component,  norm-list: norm-list(N)
FDL editor aliases :  norm-components
Latex:
norm-components  ==    norm-list(norm-component)


Date html generated: 2016_05_17-AM-10_25_03
Last ObjectModification: 2012_02_25-PM-03_38_33

Theory : process-model


Home Index