stylesheet for extracting by steps from an XMLized MPTP problem.
silly copy
Count propositions occuring in a given mizar theorem.
Update output, and permit a summary of all theorems in a given mizar XML file.
moved to another repo
simpler output
end-of-line white trimming.
more end-of-line whitespace trimming.
cruft
dump unused templates
comments are no-ops.  give the type 'set' to all variables.
we don't need to explicitly mention the 'set' type if we've reserved it for all variables.
cruft
simplify rendering of variables
handle equality
cruft
more cruft.

sayounara
nuke mmlquery reference
minor comment
dump extra whitespace