---- manual/fsubrcd ----      
Semantics         214         
Semantics BP      234         
Thm Terms         161         
Thm Context       292         
Thm Metatheory    646         
BOILERPLATE:      687         
TOTAL:            1547        
