Nuprl Definition : normal-type

Normal(T) ==  T


FDL editor aliases :  normal-type
Normal(T)  ==    T


Date html generated: 2015_07_17-AM-11_18_07
Last ObjectModification: 2012_02_25-AM-11_15_25

Home Index