Nuprl Definition : lg-nil

lg-nil() ==  []


Definitions occuring in Statement :  nil: []
FDL editor aliases :  lg-nil
Latex:
lg-nil()  ==    []


Date html generated: 2016_05_17-AM-10_07_48
Last ObjectModification: 2012_02_25-PM-03_33_35

Theory : process-model


Home Index