New management of justifications.

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

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