Inning(s;a) ==  fst((s a))



Definitions :  pi1: fst(t) apply: f a
FDL editor aliases :  cs-inning

Inning(s;a)  ==    fst((s  a))


Date html generated: 2010_08_27-AM-12_29_00
Last ObjectModification: 2009_12_23-PM-03_23_27

Home Index