This is BibTeX, Version 0.99c (Web2C 7.5.4)
The top-level auxiliary file: all.aux
The style file: elsart-harv.bst
Database file #1: herbrandbib.bib
You've used 8 entries,
            2821 wiz_defined-function locations,
            688 strings with 6190 characters,
and the built_in function-call counts, 3131 in all, are:
= -- 336
> -- 99
< -- 9
+ -- 40
- -- 30
* -- 222
:= -- 578
add.period$ -- 26
call.type$ -- 8
change.case$ -- 51
chr.to.int$ -- 8
cite$ -- 8
duplicate$ -- 136
empty$ -- 254
format.name$ -- 46
if$ -- 649
int.to.chr$ -- 1
int.to.str$ -- 1
missing$ -- 11
newline$ -- 35
num.names$ -- 33
pop$ -- 43
preamble$ -- 1
purify$ -- 42
quote$ -- 0
skip$ -- 110
stack$ -- 0
substring$ -- 150
swap$ -- 14
text.length$ -- 1
text.prefix$ -- 0
top$ -- 0
type$ -- 60
warning$ -- 0
while$ -- 30
width$ -- 0
write$ -- 99