: Analyse a collection of MATHS files
if [ $# -eq 0 ]
then	echo Usage: $0 files...; exit 1
fi
date
echo Lines
wc -l "$@"
echo " -----------------------------"
awk '/^$/{print "break";}
/^\.[^ ]/&&!/^\.Close/{print $1;}
/^\. /{print "Headline";}
/^\. Proof of/{print "Headline of Proof";}
/^[fF]or /&&!/::/{print "Formula?";}
/^[ 	]/&&!/::/&&!/\|-/{print "Formula?";}
/::[^=]*$/&&!/\^./{print "Declaration";}
/::.*=/&&!/^\./{print "Definition";}
/^[ 	]*\|-/&&!/\^./&&!/::/{print "Axiom";}
/^[ 	]*(.*)\|-/&&!/\^./&&!/::/{print "Theorem";}' $@|
sort| uniq -c | sort -nr |cat -n
echo " -----------------------------"