#!/bin/bash
./ArgoCLP_sym $1 axioms_hilbert_I.txt > proofs/$1.tex
echo "Donne for $1"

