Nuprl Definition : pv8_p1_init_slot_num

pv8_p1_init_slot_num() ==  1


Definitions occuring in Statement :  natural_number: $n
FDL editor aliases :  pv8_p1_init_slot_num pv8_p1_init_slot_num
pv8\_p1\_init\_slot\_num()  ==    1


Date html generated: 2012_02_20-PM-07_23_07
Last ObjectModification: 2012_02_06-PM-01_42_37

Home Index