decls(ci) ==  fst(ci)



Definitions :  pi1: fst(t)
FDL editor aliases :  ci-decls

decls(ci)  ==    fst(ci)


Date html generated: 2010_08_27-AM-09_36_06
Last ObjectModification: 2009_12_16-AM-01_41_50

Home Index