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 heijenoort-oeuvre-herbrand
Warning--empty booktitle in heijenoort-work-herbrand
Warning--empty publisher in heijenoort-work-herbrand
Warning--empty booktitle in herbrand-handbook
Warning--empty publisher in herbrand-handbook
You've used 37 entries,
            2437 wiz_defined-function locations,
            825 strings with 16863 characters,
and the built_in function-call counts, 11623 in all, are:
= -- 1210
> -- 343
< -- 3
+ -- 106
- -- 102
* -- 815
:= -- 1974
add.period$ -- 144
call.type$ -- 37
change.case$ -- 177
chr.to.int$ -- 35
cite$ -- 42
duplicate$ -- 547
empty$ -- 985
format.name$ -- 147
if$ -- 2394
int.to.chr$ -- 3
int.to.str$ -- 0
missing$ -- 52
newline$ -- 215
num.names$ -- 115
pop$ -- 199
preamble$ -- 1
purify$ -- 162
quote$ -- 0
skip$ -- 381
stack$ -- 0
substring$ -- 487
swap$ -- 74
text.length$ -- 3
text.prefix$ -- 0
top$ -- 0
type$ -- 212
warning$ -- 5
while$ -- 96
width$ -- 40
write$ -- 517
(There were 5 warnings)