if [ $# -eq 0 ];
  then
    echo "No arguments supplied"
    echo "Usage: ./testiraj_argo th_name (without extension .p)"
  else
    ../atp/ArgoCLP/./ArgoCLP -n axioms/$1.txt axioms/ax_for_$1.txt > izlaz_$1.txt
fi
