s@i ==  fst((TERMOF{es-fset-at-loc:o, 1:l, i:l} es i s))
Definitions : 
pi1: fst(t), 
apply: f a, 
es-fset-at-loc
FDL editor aliases : 
es-fset-at
s@i  ==    fst((TERMOF\{es-fset-at-loc:o,  1:l,  i:l\}  es  i  s))
Date html generated:
2010_08_27-AM-09_38_22
Last ObjectModification:
2009_12_16-AM-08_47_30
Home
Index