#!/bin/sh

# $Id: countaxioms,v 1.3 2000/10/04 09:54:49 freek Exp $

for i in *.v
do
  /bin/echo -e "$i\t\c"
  bin/stripcomment $i | grep Axiom | wc -l
done | grep -v ' 0$' | sort +1 -nr | expand -25
( /bin/echo -e "$i\t\c"
  bin/stripcomment *.v | grep Axiom | wc -l
) | expand -25
