This is BibTeX, Version 0.99c (Web2C 7.5.4)
The top-level auxiliary file: all.intensional.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
You've used 44 entries,
            2437 wiz_defined-function locations,
            849 strings with 13733 characters,
and the built_in function-call counts, 13407 in all, are:
= -- 1317
> -- 461
< -- 2
+ -- 147
- -- 144
* -- 923
:= -- 2309
add.period$ -- 162
call.type$ -- 44
change.case$ -- 215
chr.to.int$ -- 43
cite$ -- 50
duplicate$ -- 656
empty$ -- 1144
format.name$ -- 192
if$ -- 2747
int.to.chr$ -- 2
int.to.str$ -- 0
missing$ -- 68
newline$ -- 247
num.names$ -- 138
pop$ -- 294
preamble$ -- 1
purify$ -- 204
quote$ -- 0
skip$ -- 448
stack$ -- 0
substring$ -- 388
swap$ -- 89
text.length$ -- 2
text.prefix$ -- 0
top$ -- 0
type$ -- 224
warning$ -- 6
while$ -- 101
width$ -- 48
write$ -- 591
(There were 6 warnings)