> ../../../matita/tests/TPTP/$$X.ma || echo Failed: $$X; \
done
parse:
for X in `cat unit_equality_problems`; do\
echo "Parsing $$X"; \
> ../../../matita/tests/TPTP/$$X.ma || echo Failed: $$X; \
done
parse:
for X in `cat unit_equality_problems`; do\
echo "Parsing $$X"; \