f:ACfcall
f:ACnew
f:ACprint
f:ACtex
f:ACttype
f:AxCons
f:Axiom
f:CCNamEnt
f:CCadd
f:CCallEnt
f:CCfcall
f:CCgetEnt
f:CCnew
f:CCprint
f:CCsubArg
f:CCtex
f:CCttype
f:CatCons
f:Category
f:DCDomEnt
f:DCSDEnt
f:DCadd
f:DCallEnt
f:DCallSDE
f:DCaxioms
f:DCcateg
f:DCfcall
f:DCgetEnt
f:DChasPro
f:DCmkEnt
f:DCnew
f:DCprint
f:DCsubsA
f:DCtex
f:DCttype
f:DCundEnt
f:DCwhEnt
f:DomCons
f:optimize
