Nuprl Definition : ci-decls
decls(ci) == fst(ci)
Definitions occuring in Statement :
pi1: fst(t)
FDL editor aliases :
ci-decls
ci-decls
decls(ci) == fst(ci)
Date html generated:
2015_07_17-AM-08_57_46
Last ObjectModification:
2013_03_25-PM-01_54_06
Home
Index