[helm.git] / matita / matita / contribs / ng_TPTP / run_veloci.sh

for X in `cat Veloci`;
do
echo $X;
touch $X;
../../matitac.opt $X 2> /dev/null
done