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 bg
Warning--empty booktitle in term-rewriting-one
Warning--empty publisher in term-rewriting-one
Warning--empty booktitle in ordersorted-conference
Warning--empty booktitle in hobbs
Warning--empty publisher in hobbs
Warning--empty booktitle in klophandbook
Warning--empty publisher in klophandbook
Warning--empty booktitle in plaisted-survey
Warning--empty publisher in plaisted-survey
Warning--empty booktitle in ordersortedtwo
Warning--empty publisher in ordersortedtwo
You've used 47 entries,
            2437 wiz_defined-function locations,
            808 strings with 11921 characters,
and the built_in function-call counts, 15711 in all, are:
= -- 1636
> -- 499
< -- 13
+ -- 156
- -- 150
* -- 1109
:= -- 2581
add.period$ -- 175
call.type$ -- 47
change.case$ -- 240
chr.to.int$ -- 45
cite$ -- 59
duplicate$ -- 755
empty$ -- 1319
format.name$ -- 209
if$ -- 3312
int.to.chr$ -- 3
int.to.str$ -- 0
missing$ -- 55
newline$ -- 259
num.names$ -- 153
pop$ -- 270
preamble$ -- 1
purify$ -- 215
quote$ -- 0
skip$ -- 558
stack$ -- 0
substring$ -- 600
swap$ -- 153
text.length$ -- 13
text.prefix$ -- 0
top$ -- 0
type$ -- 294
warning$ -- 12
while$ -- 131
width$ -- 50
write$ -- 639
(There were 12 warnings)