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--I didn't find a database entry for "ackermann-1928"
Warning--empty booktitle in anellis-loewenheim
Warning--empty publisher in anellis-loewenheim
Warning--empty booktitle in sergecore
Warning--empty booktitle in chevalley1982-herbrand-colloquium
Warning--empty booktitle in dawson-reception-goedel
Warning--empty publisher in dawson-reception-goedel
Warning--empty booktitle in goedel-herbrand
Warning--empty booktitle in unwinding-artin
Warning--empty publisher in unwinding-artin
Warning--empty booktitle in dieudonne-1982
Warning--empty booktitle in herbrand-style-consistency-proofs
Warning--empty booktitle in DubucsEgre-Herbrand-PUF
Warning--empty publisher in DubucsEgre-Herbrand-PUF
Warning--empty booktitle in unwinding
Warning--empty publisher in unwinding
Warning--empty booktitle in heijenoort-oeuvre-herbrand
Warning--empty booktitle in heijenoort-absolutism-relativism
Warning--empty publisher in heijenoort-absolutism-relativism
Warning--empty booktitle in heijenoort-work-herbrand
Warning--empty publisher in heijenoort-work-herbrand
Warning--empty booktitle in herbrand-note-hadamard
Warning--empty publisher in herbrand-note-hadamard
Warning--empty booktitle in grundlagen-der-geometrie
Warning--empty publisher in grundlagen-der-geometrie
Warning--empty booktitle in kreisel-1982
Warning--empty booktitle in moore-1987
Warning--empty publisher in moore-1987
Warning--empty booktitle in parsons-finitism
Warning--empty publisher in parsons-finitism
Warning--empty booktitle in schroeder-handbook
Warning--empty publisher in schroeder-handbook
Warning--empty publisher in hasse-herbrand-correspondence
Warning--empty booktitle in skolem-1941
Warning--empty booktitle in herbrand-handbook
Warning--empty publisher in herbrand-handbook
You've used 210 entries,
            2437 wiz_defined-function locations,
            1674 strings with 51187 characters,
and the built_in function-call counts, 67112 in all, are:
= -- 7140
> -- 1716
< -- 14
+ -- 547
- -- 497
* -- 4739
:= -- 11134
add.period$ -- 763
call.type$ -- 210
change.case$ -- 1010
chr.to.int$ -- 185
cite$ -- 245
duplicate$ -- 3141
empty$ -- 5766
format.name$ -- 735
if$ -- 13877
int.to.chr$ -- 26
int.to.str$ -- 0
missing$ -- 257
newline$ -- 1173
num.names$ -- 650
pop$ -- 942
preamble$ -- 1
purify$ -- 877
quote$ -- 0
skip$ -- 2313
stack$ -- 0
substring$ -- 3518
swap$ -- 484
text.length$ -- 14
text.prefix$ -- 0
top$ -- 0
type$ -- 1386
warning$ -- 35
while$ -- 628
width$ -- 217
write$ -- 2872
(There were 36 warnings)