---- manual/lomega ----       
Semantics         101         
Semantics BP      95          
Thm Terms         128         
Thm Context       108         
Thm Metatheory    355         
BOILERPLATE:      331         
TOTAL:            787         
