Nuprl Definition : mu_ex_v5_tok-dec
mu_ex_v5_tok-dec{i:l}(es;m1;m2;init;p1;p2;p;e) ==
isl(TERMOF{mu_ex_v5_send-token-dec:o, i:l, i:l} es m1 m2 init p1 p2 p e)
Definitions occuring in Statement :
isl: isl(x),
apply: f a
FDL editor aliases :
mu_ex_v5_tok-dec
mu\_ex\_v5\_tok-dec\{i:l\}(es;m1;m2;init;p1;p2;p;e) ==
isl(TERMOF\{mu\_ex\_v5\_send-token-dec:o, i:l, i:l\} es m1 m2 init p1 p2 p e)
Date html generated:
2012_02_20-PM-07_03_32
Last ObjectModification:
2012_02_02-PM-03_03_02
Home
Index