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 anellis-loewenheim
Warning--empty publisher in anellis-loewenheim
Warning--empty booktitle in pds
Warning--empty booktitle in sergecore
Warning--empty booktitle in baazdelta
Warning--empty booktitle in deltaplusplus
Warning--empty booktitle in heijenoort-work
Warning--empty publisher in heijenoort-work
Warning--empty booktitle in heijenoort-oeuvre-herbrand
Warning--empty booktitle in heijenoort-engels
Warning--empty publisher in heijenoort-engels
Warning--empty booktitle in heijenoort-work-herbrand
Warning--empty publisher in heijenoort-work-herbrand
Warning--empty booktitle in schroeder-handbook
Warning--empty publisher in schroeder-handbook
Warning--empty booktitle in wang-skolem
Warning--empty publisher in wang-skolem
Warning--empty booktitle in herbrand-handbook
Warning--empty publisher in herbrand-handbook
You've used 92 entries,
            2437 wiz_defined-function locations,
            1105 strings with 27381 characters,
and the built_in function-call counts, 28903 in all, are:
= -- 3017
> -- 846
< -- 12
+ -- 269
- -- 252
* -- 2042
:= -- 4861
add.period$ -- 352
call.type$ -- 92
change.case$ -- 445
chr.to.int$ -- 85
cite$ -- 111
duplicate$ -- 1368
empty$ -- 2455
format.name$ -- 360
if$ -- 5973
int.to.chr$ -- 8
int.to.str$ -- 0
missing$ -- 122
newline$ -- 521
num.names$ -- 285
pop$ -- 489
preamble$ -- 1
purify$ -- 402
quote$ -- 0
skip$ -- 964
stack$ -- 0
substring$ -- 1180
swap$ -- 199
text.length$ -- 12
text.prefix$ -- 0
top$ -- 0
type$ -- 556
warning$ -- 19
while$ -- 241
width$ -- 96
write$ -- 1268
(There were 19 warnings)