---- manual/stlcprod ----     
Semantics         85          
Semantics BP      67          
Thm Terms         0           
Thm Context       47          
Thm Metatheory    117         
BOILERPLATE:      114         
TOTAL:            316         
