Nuprl Definition : listid
listid(L) == rec-case(L) of [] => [] | a::as => r.[a / r]
Definitions occuring in Statement :
list_ind: list_ind,
cons: [a / b],
nil: []
Definitions occuring in definition :
list_ind: list_ind,
nil: [],
cons: [a / b]
FDL editor aliases :
listid
Latex:
listid(L) == rec-case(L) of [] => [] | a::as => r.[a / r]
Date html generated:
2016_05_15-PM-03_36_20
Last ObjectModification:
2015_09_23-AM-07_44_17
Theory : general
Home
Index