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