---- manual/fsub ----         
Semantics         70          
Semantics BP      124         
Thm Terms         128         
Thm Context       178         
Thm Metatheory    268         
BOILERPLATE:      430         
TOTAL:            768         
