Nuprl Definition : lifting-loc-gen-rev

lifting-loc-gen-rev(n;bags;loc;f) == lifting-gen-rev(n;f loc;bags)

Definitions occuring in Statement : apply: f a, lifting-gen-rev: lifting-gen-rev(n;f;bags)
FDL editor aliases : lifting-loc-gen-rev

Latex:
lifting-loc-gen-rev(n;bags;loc;f) == lifting-gen-rev(n;f loc;bags) Date html generated: 2015_07_22-PM-00_07_22 Last ObjectModification: 2012_11_29-AM-11_13_27 Home Index