This is BibTeX, Version 0.99c (Web2C 7.4.5)
The top-level auxiliary file: page.aux
The style file: plain.bst
Database file #1: /net/urd/home/disk15/eriksen/.logiweb/peano-commutativity/page.bib
You've used 3 entries,
            2118 wiz_defined-function locations,
            509 strings with 4494 characters,
and the built_in function-call counts, 649 in all, are:
= -- 57
> -- 21
< -- 0
+ -- 10
- -- 6
* -- 22
:= -- 114
add.period$ -- 9
call.type$ -- 3
change.case$ -- 12
chr.to.int$ -- 0
cite$ -- 3
duplicate$ -- 26
empty$ -- 67
format.name$ -- 6
if$ -- 137
int.to.chr$ -- 0
int.to.str$ -- 3
missing$ -- 2
newline$ -- 18
num.names$ -- 6
pop$ -- 29
preamble$ -- 1
purify$ -- 9
quote$ -- 0
skip$ -- 18
stack$ -- 0
substring$ -- 16
swap$ -- 3
text.length$ -- 0
text.prefix$ -- 0
top$ -- 0
type$ -- 10
warning$ -- 0
while$ -- 6
width$ -- 4
write$ -- 31