---- manual/stlc ----         
Semantics         44          
Semantics BP      39          
Thm Terms         0           
Thm Context       23          
Thm Metatheory    43          
BOILERPLATE:      62          
TOTAL:            149         
