This is BibTeX, Version 0.99c (Web2C 7.5.4)
The top-level auxiliary file: all.aux
The style file: named.bst
Database file #1: herbrandbib.bib
Warning--empty booktitle in waltherhandbook
Warning--empty publisher in waltherhandbook
You've used 12 entries,
            2437 wiz_defined-function locations,
            695 strings with 7985 characters,
and the built_in function-call counts, 4307 in all, are:
= -- 445
> -- 146
< -- 4
+ -- 48
- -- 45
* -- 312
:= -- 709
add.period$ -- 45
call.type$ -- 12
change.case$ -- 64
chr.to.int$ -- 12
cite$ -- 14
duplicate$ -- 201
empty$ -- 354
format.name$ -- 60
if$ -- 906
int.to.chr$ -- 1
int.to.str$ -- 0
missing$ -- 16
newline$ -- 69
num.names$ -- 40
pop$ -- 71
preamble$ -- 1
purify$ -- 58
quote$ -- 0
skip$ -- 149
stack$ -- 0
substring$ -- 185
swap$ -- 43
text.length$ -- 4
text.prefix$ -- 0
top$ -- 0
type$ -- 72
warning$ -- 2
while$ -- 37
width$ -- 14
write$ -- 168
(There were 2 warnings)