rm preprocessing/make_conjectures/axioms/*reversed*
cat preprocessing/make_conjectures/axioms/ax_* > preprocessing/make_conjectures/axioms/everything_axioms.txt
cat preprocessing/make_conjectures/axioms/th_* > preprocessing/make_conjectures/axioms/everything_theorems.txt
cp preprocessing/make_conjectures/trivial.txt preprocessing/make_conjectures/axioms/
cd preprocessing/make_conjectures
./testiraj_make_a_book
./testiraj_make_axioms
cd proofs/
rm zvezda_proof_ax_*;
for f in zvezda_*.xml; do mv "${f}" "${f#zvezda_}"; done
cp proof_* ../../../proving/proofs/xml_proofs/isar
cp proof_* ../../../proving/proofs/xml_proofs/coq
cp proof_* ../../../proving/proofs/xml_proofs/tex
cp proof_* ../../../proving/proofs/xml_proofs/srpski_tex
cp theory_trivial.xml ../../../proving/proofs/xml_proofs/isar/theory_trivial.xml
cp theory_trivial.xml ../../../proving/proofs/xml_proofs/coq/theory_trivial.xml
cp theory_trivial.xml ../../../proving/proofs/xml_proofs/tex/theory_trivial.xml
cp theory_trivial.xml ../../../proving/proofs/xml_proofs/srpski_tex/theory_trivial.xml