---- manual/fseqlet ----      
Semantics         103         
Semantics BP      164         
Thm Terms         153         
Thm Context       174         
Thm Metatheory    137         
BOILERPLATE:      491         
TOTAL:            731         
