---- manual/fomega ----       
Semantics         124         
Semantics BP      106         
Thm Terms         129         
Thm Context       108         
Thm Metatheory    415         
BOILERPLATE:      343         
TOTAL:            882         
