Nuprl Definition : ci-decls
decls(ci) == fst(ci)
Definitions occuring in Statement :
pi1: fst(t)
FDL editor aliases :
ci-decls
ci-decls
Latex:
decls(ci) == fst(ci)
Date html generated:
2016_05_16-AM-10_05_06
Last ObjectModification:
2013_03_25-PM-01_54_06
Theory : new!event-ordering
Home
Index