Count previous (nontrivial) toplevel items.
Use the position-in-text template.
Generate definitional theorems.
Absolutize, first.
Ignore section pragmas.
Ignore section pragmas.
Don't count as lemmas those theorems that were induced from constructor properties or correctness conditions.
Wrong counting.
Restore the pre-exporter XML.
Clusters don't count.
We don't need to factor out correctness conditions for clusters and identifications.
Update loading of lemmas/theorems, constructor properties, and correctness conditions.
Factor out utilities into separate makefiles.
One-liner.
all is PHONY.
The .refx file is gone; parse the .ref instead.
scripts
More makefiles (and a script).
More work on a makefile-driven itemization.
Try to generate a makefile that itemizes a given article.