---- manual/f ----            
Semantics         54          
Semantics BP      102         
Thm Terms         127         
Thm Context       111         
Thm Metatheory    60          
BOILERPLATE:      340         
TOTAL:            454         
