Nuprl Definition : reverse
rev(as) == rev(as) + []
Definitions occuring in Statement :
rev-append: rev(as) + bs,
nil: []
Definitions occuring in definition :
rev-append: rev(as) + bs,
nil: []
FDL editor aliases :
reverse
Latex:
rev(as) == rev(as) + []
Date html generated:
2016_05_14-AM-06_29_44
Last ObjectModification:
2015_12_03-PM-02_05_40
Theory : list_0
Home
Index