This is BibTeX, Version 0.99c (Web2C 7.5.4)
The top-level auxiliary file: all.aux
The style file: cpsnamedwithapalikesorting.bst
Database file #1: herbrandbib.bib
Warning--empty booktitle in grundlagen-der-geometrie
Warning--empty publisher in grundlagen-der-geometrie
Warning--empty booktitle in hilbert-grundlagen-logik
Warning--empty booktitle in JouannaudOkadaLICS1991
Warning--empty booktitle in raamsdonktermination
Warning--empty booktitle in nipkowLICS1991
Warning--empty booktitle in Raamsdonk99
Warning--empty booktitle in Raamsdonk01
Warning--empty booktitle in middeldorp_goodstein
You've used 51 entries,
            1936 wiz_defined-function locations,
            813 strings with 20280 characters,
and the built_in function-call counts, 16190 in all, are:
= -- 1608
> -- 443
< -- 58
+ -- 139
- -- 130
* -- 1236
:= -- 2901
add.period$ -- 194
call.type$ -- 51
change.case$ -- 292
chr.to.int$ -- 48
cite$ -- 60
duplicate$ -- 746
empty$ -- 1263
format.name$ -- 202
if$ -- 3188
int.to.chr$ -- 4
int.to.str$ -- 0
missing$ -- 67
newline$ -- 287
num.names$ -- 155
pop$ -- 318
preamble$ -- 1
purify$ -- 270
quote$ -- 0
skip$ -- 505
stack$ -- 0
substring$ -- 821
swap$ -- 102
text.length$ -- 10
text.prefix$ -- 0
top$ -- 0
type$ -- 258
warning$ -- 9
while$ -- 123
width$ -- 0
write$ -- 701
(There were 9 warnings)