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 hobbs
Warning--empty publisher in hobbs
Warning--empty booktitle in kwspec2
Warning--empty booktitle in meinong
Warning--empty publisher in meinong
Warning--empty booktitle in omegacadetwo
Warning--empty booktitle in kant-handbook
Warning--empty publisher in kant-handbook
You've used 60 entries,
            2437 wiz_defined-function locations,
            929 strings with 17081 characters,
and the built_in function-call counts, 17828 in all, are:
= -- 1746
> -- 592
< -- 2
+ -- 186
- -- 182
* -- 1196
:= -- 3076
add.period$ -- 224
call.type$ -- 60
change.case$ -- 284
chr.to.int$ -- 58
cite$ -- 68
duplicate$ -- 893
empty$ -- 1539
format.name$ -- 249
if$ -- 3660
int.to.chr$ -- 3
int.to.str$ -- 0
missing$ -- 96
newline$ -- 341
num.names$ -- 187
pop$ -- 405
preamble$ -- 1
purify$ -- 271
quote$ -- 0
skip$ -- 609
stack$ -- 0
substring$ -- 468
swap$ -- 119
text.length$ -- 2
text.prefix$ -- 0
top$ -- 0
type$ -- 296
warning$ -- 8
while$ -- 133
width$ -- 64
write$ -- 810
(There were 8 warnings)