
Program invocation as: 
--------------------------------------------------------
./ArgoCLP theorem_number axioms_file
theorem_number is integer number N of the theorem in folder theorems
axioms_file is the name of the file which contains axioms (axioms.txt, axioms_hilbert.txt, axioms_borsuk.txt, axioms_tarski.txt).
Isar proof named isar_proof_N, and its optimized version isar_proof_optimized_N will be generated in folder proofs.
Proof in natural language named nl_proof_N, and its optimized version nl_proof_optimized_N will be generated in folder proofs. 
List of all axioms used in program (given and derived) 
will be generated in file: all_axioms.txt.
Current values of flags can be found in menu.conf.

