Nuprl Definition : Rtrans
Rtrans(k;r;s;t) ==  k."Rtrans" r s t
Definitions occuring in Statement : 
record-select: r.x
, 
apply: f a
, 
token: "$token"
Definitions occuring in definition : 
apply: f a
, 
record-select: r.x
, 
token: "$token"
FDL editor aliases : 
Rtrans
Latex:
Rtrans(k;r;s;t)  ==    k."Rtrans"  r  s  t
Date html generated:
2019_10_16-AM-11_23_37
Last ObjectModification:
2019_04_26-AM-10_30_27
Theory : dynamic!logic
Home
Index