- Properties S3 and S5 of context-sensitive strongly normalizing terms

[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