Nuprl Definition : ler_leader_ring_headers_no

Nuprl Definition : ler_leader_ring_headers_no_inputs

ler_leader_ring_headers_no_inputs() == [[propose]; [leader]]

Definitions occuring in Statement : cons: [car / cdr], nil: [], token: "$token"
FDL editor aliases : ler_leader_ring_headers_no_inputs

ler\_leader\_ring\_headers\_no\_inputs() == [[propose]; [leader]] Date html generated: 2012_02_20-PM-06_01_59 Last ObjectModification: 2012_02_02-PM-02_38_16 Home Index