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 42 entries, 2437 wiz_defined-function locations, 844 strings with 17627 characters, and the built_in function-call counts, 13249 in all, are: = -- 1378 > -- 408 < -- 7 + -- 126 - -- 122 * -- 938 := -- 2249 add.period$ -- 168 call.type$ -- 42 change.case$ -- 202 chr.to.int$ -- 40 cite$ -- 47 duplicate$ -- 622 empty$ -- 1110 format.name$ -- 177 if$ -- 2736 int.to.chr$ -- 3 int.to.str$ -- 0 missing$ -- 62 newline$ -- 245 num.names$ -- 130 pop$ -- 233 preamble$ -- 1 purify$ -- 187 quote$ -- 0 skip$ -- 432 stack$ -- 0 substring$ -- 512 swap$ -- 88 text.length$ -- 7 text.prefix$ -- 0 top$ -- 0 type$ -- 232 warning$ -- 5 while$ -- 106 width$ -- 45 write$ -- 589 (There were 5 warnings)